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: 1.

Konferenzveröffentlichung

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 Fri Mar 29 01:36:00 2024 CET automatisch erstellt.