Items related to Theory and Applications of Satisfiability Testing --...

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Softcover

 
9783642316135: Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Softcover
ISBN 10: 3642316131 ISBN 13: 9783642316135
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Synopsis

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3642316131
ISBN 13 
9783642316135
Binding
Paperback
Number of pages
520
Editor
Cimatti Alessandro, Sebastiani Roberto

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642316111: Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science, 7317)

Featured Edition

ISBN 10:  3642316115 ISBN 13:  9783642316111
Publisher: Springer, 2012
Softcover