enrico giunchiglia
SAT 2005
Sofort lieferbarP This book is devoted to recent progress made in solving propositional satisfiability and relat...
SAT 2005
Print on DemandThis book is devoted to recent progress made in solving propositional satisfiability and related ...
Theory and Applications of Satisfiability Testing
Print on DemandThis book constitutes the thoroughly refereed post-proceedings of the 6th International Conferenc...
- 1