Search results for: Stefan Szeider
Journal of Automated Reasoning > 2019 > 63 > 1 > 127-155
Information and Computation > 2017 > 255 > P1 > 147-164
Journal of Computer and System Sciences > 2017 > 87 > C > 16-57
Journal of Computer and System Sciences > 2017 > 85 > C > 38-56
Algorithmica > 2018 > 80 > 2 > 742-771
Lecture Notes in Computer Science > STACS 2003 > Contributed Papers > 475-486
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 94-99
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2006 > Regular Papers > 499-513
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Research Track Papers > 302-316
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 503-514
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Solving SAT by Local Search > 276-283
Lecture Notes in Computer Science > Combinatorial Optimization and Applications > Contributed Papers > 366-377
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 9. Counting and Concurrency > 396-409