Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings

DOI10.1007/978-3-642-02777-2zbMATH Open1165.68014OpenAlexW1594550269MaRDI QIDQ1027644FDOQ1027644

Authors:

Publication date: 30 June 2009

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-02777-2

Recommendations

• Theory and applications of satisfiability testing -- SAT 2006. 9th international conference, Seattle, WA, USA, August 12--15, 2006. Proceedings.
• Theory and applications of satisfiability testing -- SAT 2010. 13th international conference, SAT 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
• Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings
• Theory and applications of satisfiability testing -- SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9--12, 2019. Proceedings
• Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19--23, 2005. Proceedings.
• Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings
• Theory and applications of satisfiability testing -- SAT 2016. 19th international conference, Bordeaux, France, July 5--8, 2016. Proceedings
• Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers
• Theory and applications of satisfiability testing -- SAT 2020. 23rd international conference, Alghero, Italy, July 3--10, 2020. Proceedings
• Theory and applications of satisfiability testing -- SAT 2013. 16th international conference, Helsinki, Finland, July 8--12, 2013. Proceedings

Mathematics Subject Classification ID

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

Cited In (5)

• Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings
• Propositional SAT solving
• Anytime answer set optimization via unsatisfiable core shrinking
• Automated-based rebound attacks on ACE permutation
• The configurable SAT solver challenge (CSSC)

This page was built for publication: Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings

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