Search results for: Arne Meier
Algorithmica > 2019 > 81 > 2 > 476-496
Acta Informatica > 2019 > 56 > 6 > 487-519
Annals of Mathematics and Artificial Intelligence > 2018 > 83 > 3-4 > 297-320
Theory of Computing Systems > 2017 > 60 > 4 > 737-758
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 587-599
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Complexity Theory > 51-64
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 30-43
Archive for Mathematical Logic > 2015 > 54 > 5-6 > 685-710
Theoretical Computer Science > 2013 > 505 > Complete > 55-73
Archive for Mathematical Logic > 2011 > 50 > 7-8 > 727-742
Journal of Applied Logic > 2010 > 8 > 4 > 409-421
Information Processing Letters > 2009 > 109 > 18 > 1071-1077
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 201-213