| Publication | Date of Publication | Type |
|---|
A disjunctive program formulation to generate regular public transit timetables adhering to prioritized planning requirements
Networks | 2018-10-04 | Paper |
XSAT and NAE-SAT of linear CNF classes
Discrete Applied Mathematics | 2014-03-27 | Paper |
Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation
Discrete Applied Mathematics | 2012-10-19 | Paper |
A satisfiability-based approach for embedding generalized tanglegrams on level graphs
Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
Complexity Results for Linear XSAT-Problems
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
On Some Aspects of Mixed Horn Formulas
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Linear CNF formulas and satisfiability
Discrete Applied Mathematics | 2009-06-30 | Paper |
Algorithms for Variable-Weighted 2-SAT and Dual Problems
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
A CNF Class Generalizing Exact Linear Formulas
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
On Linear CNF Formulas
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Satisfiability of mixed Horn formulas
Discrete Applied Mathematics | 2007-07-19 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
Exact 3-satisfiability is decidable in time \(O(2^{0.16254 n})\)
Annals of Mathematics and Artificial Intelligence | 2005-05-13 | Paper |
Improving a fixed parameter tractability time bound for the shadow problem
Journal of Computer and System Sciences | 2004-08-19 | Paper |
On enumerating all minimal solutions of feedback problems
Discrete Applied Mathematics | 2002-05-15 | Paper |
| A satisfiability formulation of problems on level graphs | 2001-09-24 | Paper |
An algorithm for the class of pure implicational formulas
Discrete Applied Mathematics | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1354158 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1114010 (Why is no real title available?) | 1998-06-02 | Paper |
A fast parallel SAT-solver -- efficient workload balancing
Annals of Mathematics and Artificial Intelligence | 1998-03-04 | Paper |
Exact satisfiability, a natural extension of set partition, and its average case behavior
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
| scientific article; zbMATH DE number 408796 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 219267 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4162692 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4178775 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060775 (Why is no real title available?) | 1988-01-01 | Paper |
On feedback vertex sets and nonseparating independent sets in cubic graphs
Journal of Graph Theory | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4080977 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3972888 (Why is no real title available?) | 1986-01-01 | Paper |
Solving satisfiability in less than \(2^ n\) steps
Discrete Applied Mathematics | 1985-01-01 | Paper |
Ramsey numbers and an approximation algorithm for the vertex cover problem
Acta Informatica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3959477 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3848625 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3853131 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3803174 (Why is no real title available?) | 1981-01-01 | Paper |
