|
Showing 1 - 7 of
7 matches in All Departments
This book constitutes the refereed proceedings of the 10th
International Conference on Theory and Applications of
Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May
2007.
The 22 revised full papers presented together with 12 revised
short papers and two invited talks cover all current research
issues in propositional and quantified Boolean formula
satisfiability testing.
|
You may like...
The High Notes
Danielle Steel
Paperback
R340
R266
Discovery Miles 2 660
|