|
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...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Tenet
John David Washington, Robert Pattinson
Blu-ray disc
(1)
R54
Discovery Miles 540
|