Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 2.

Conference or workshop publication

Scheder, Dominik ; Zumstein, Philipp ORCID: 0000-0002-6485-9434 How many conflicts does it need to be unsatisfiable? Open Access Kleine Büning, Hans Lecture Notes in Computer Science 4996 246-256 In: Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12 - 15, 2008; proceedings (2008) Berlin SAT 2008 - 11th International Conference on Theory and Applications of Satisfiability Testing (Guangzhou, China) [Conference or workshop publication]
[img]
Preview

Scheder, Dominik ; Zumstein, Philipp ORCID: 0000-0002-6485-9434 Satisfiability with exponential families. Open Access Marques-Silva, João Lecture Notes in Computer Science 4501 148-158 In: Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28 - 31, 2007; proceedings (2007) Berlin ; Heidelberg [u.a.] SAT 2007 - 10th International Conference on Theory and Applications of Satisfiability Testing (Lisbon, Portugal) [Conference or workshop publication]
[img]
Preview

This list was created automatically on Sat Dec 4 04:37:32 2021 CET