Theory and applications of satisfiability testing -- SAT 2006. 9th international conference, Seattle, WA, USA, August 12--15, 2006. Proceedings.
From MaRDI portal
Publication:2370661
DOI10.1007/11814948zbMath1114.68003OpenAlexW2486285674MaRDI QIDQ2370661
No author found.
Publication date: 29 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814948
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
Finding Guaranteed MUSes Fast ⋮ Anytime answer set optimization via unsatisfiable core shrinking ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance
This page was built for publication: Theory and applications of satisfiability testing -- SAT 2006. 9th international conference, Seattle, WA, USA, August 12--15, 2006. Proceedings.
