Sold Out
Book Categories |
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005.
The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionTheory and Applications of Satisfiability Testing
X
This Item is in Your InventoryTheory and Applications of Satisfiability Testing
X
You must be logged in to review the productsX
X
X
Add Theory and Applications of Satisfiability Testing, , Theory and Applications of Satisfiability Testing to the inventory that you are selling on WonderClubX
X
Add Theory and Applications of Satisfiability Testing, , Theory and Applications of Satisfiability Testing to your collection on WonderClub |