Search results for: Uwe Egly
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 158-172
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 141-155
Lecture Notes in Computer Science > Automated Reasoning > Tableau, Sequent, Natural Deduction Calculi and Proof Theory > 561-577
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 34-47
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 205-219
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Stochastic Approaches to SAT Solving > 363-376
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 62-75