| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7561680 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
On the Strength of Uniqueness Quantification in Primitive Positive Formulas
(available as arXiv preprint) | 2019-06-17 | Paper |
Complexity of SAT Problems, Clone Theory and the Exponential Time Hypothesis
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms | 2019-05-15 | Paper |
| A note on X-rays of permutations and a problem of Brualdi and Fritscher | 2017-07-12 | Paper |
Strong partial clones and the time complexity of SAT problems
Journal of Computer and System Sciences | 2016-11-14 | Paper |
Constructing NP-intermediate problems by blowing holes with parameters of various properties
Theoretical Computer Science | 2015-05-22 | Paper |
Trichotomies in the complexity of minimal inference
Theory of Computing Systems | 2012-12-06 | Paper |
Retractions to Pseudoforests
SIAM Journal on Discrete Mathematics | 2011-03-15 | Paper |
Integer programming with 2-variable equations and 1-variable inequalities
Information Processing Letters | 2010-08-16 | Paper |
A note on the hardness of Skolem-type sequences
Discrete Applied Mathematics | 2010-05-25 | Paper |
Approximability of clausal constraints
Theory of Computing Systems | 2010-05-10 | Paper |
What makes propositional abduction tractable
Artificial Intelligence | 2009-07-17 | Paper |
MAX ONES Generalized to Larger Domains
SIAM Journal on Computing | 2009-03-16 | Paper |
Introduction to the Maximum Solution Problem
Complexity of Constraints | 2009-01-22 | Paper |
The Maximum Solution Problem on Graphs
Mathematical Foundations of Computer Science 2007 | 2008-09-17 | Paper |
Approximability of Integer Programming with Generalised Constraints
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Perfect Skolem sets
Discrete Mathematics | 2008-03-13 | Paper |
\(\mathcal{NP}\)-completeness of generalized multi-Skolem sequences
Discrete Applied Mathematics | 2007-09-21 | Paper |
Generalised Integer Programming Based on Logically Defined Relations
Lecture Notes in Computer Science | 2007-09-05 | Paper |
The complexity of equivalence and isomorphism of systems of equations over finite groups
Theoretical Computer Science | 2005-12-06 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Computing and Combinatorics
Lecture Notes in Computer Science | 2005-06-15 | Paper |
