Scheder, Dominik ; Zumstein, PhilippORCID: 0000-0002-6485-9434How many conflicts does it need to be unsatisfiable?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]
Vorschau
Diese Liste wurde am Sat Aug 17 01:37:13 2024 CEST automatisch erstellt.