Handbook of Satisfiability
Volume 185 Frontiers in Artificial Intelligence and Applications
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Tags
Genre
Reviews
Popular Reviews
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!