Scheder, Dominik ; Zumstein, PhilippORCID: 0000-0002-6485-9434Satisfiability with exponential families.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]
Vorschau
Diese Liste wurde am Sat Nov 23 01:26:44 2024 CET automatisch erstellt.
