-
SAT Encodings and Beyond (Dagstuhl Seminar 23261)
Heule, Marijn J. H. ; Lynce, Inês ; Szeider, Stefan ; Schidler, Andre
-
Revisiting SATZilla Features in 2024
Shavit, Hadar ; Hoos, Holger H. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. de 2014 Springer Berlin Heidelberg
-
Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
-
Theory and Applications of Satisfiability Testing – SAT 2013 – 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Järvisalo, Matti ; Van Gelder, Allen 2013 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming – 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Milano, Michela 2012 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
-
Automated Reasoning – 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Gramlich, Bernhard ; Miller, Dale ; Sattler, Ulrike 2012 Springer Berlin Heidelberg
-
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management – Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
Snoeyink, Jack ; Lu, Pinyan ; Su, Kaile ; Wang, Lusheng 2012 Springer Berlin Heidelberg
-
Parameterized and Exact Computation – 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Marx, Dániel ; Rossmanith, Peter 2012 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
2011 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
2011 Springer Berlin Heidelberg
-
Web Services and Formal Methods – 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
2011 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Leite, João ; Torroni, Paolo ; Ågotnes, Thomas ; Boella, Guido ; Torre, Leon van der 2010 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Web Services and Formal Methods – 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Bravetti, Mario ; Bultan, Tevfik 2010 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Dawar, Anuj 2010 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
-
Theory and applications of satisfiability testing – 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings
Biere, Armin 2006 Springer
-
Theory and applications of satisfiability testing – 7th international conference ; revised selected papers
Hoos, Holger H. 2005 Springer