Handbook of Satisfiability
            
                Frontiers in Artificial Intelligence and Applications
Publisher: IOS Press; Brand: IOS Press
Published: 2009
Language: eng
Number of pages: 980
ISBN-13: 9781586039295