Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Anzahl der Einträge: 2.

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 [u.a.] SAT 2008 - 11th International Conference on Theory and Applications of Satisfiability Testing (Guangzhou, China) [Konferenzveröffentlichung]
[img]
Vorschau

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 [u.a.] SAT 2007 - 10th International Conference on Theory and Applications of Satisfiability Testing (Lisbon, Portugal) [Konferenzveröffentlichung]
[img]
Vorschau

Diese Liste wurde am Thu Mar 28 01:16:26 2024 CET automatisch erstellt.