Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings

DOI10.1007/978-3-642-31612-8zbMATH Open1268.68009DBLPconf/sat/2012OpenAlexW2489418233WikidataQ62041205 ScholiaQ62041205MaRDI QIDQ428474FDOQ428474

Author name not available (Why is that?)

Publication date: 22 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (10)

• Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings
• A review of literature on parallel constraint solving
• Expansion-based QBF solving versus Q-resolution
• Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10--13, 2004. Revised selected papers.
• Definability for model counting
• SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
• The configurable SAT solver challenge (CSSC)
• Theory and applications of satisfiability testing -- SAT 2020. 23rd international conference, Alghero, Italy, July 3--10, 2020. Proceedings
• Automatic construction of parallel portfolios via algorithm configuration
• Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings

This page was built for publication: Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q428474)