Drawing planar partitions I: LL-drawings and LH-drawings
Proceedings of the fourteenth annual symposium on Computational geometry
On Exact Selection of Minimally Unsatisfiable Subformulae
Annals of Mathematics and Artificial Intelligence
Solving the Resolution-Free SAT Problem by Submodel Propagation in Linear Time
Annals of Mathematics and Artificial Intelligence
New tractable classes for default reasoning from conditional knowledge bases
Annals of Mathematics and Artificial Intelligence
Satisfiability of mixed Horn formulas
Discrete Applied Mathematics
On Some Aspects of Mixed Horn Formulas
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Finding models for blocked 3-SAT problems in linear time by systematical refinement of a sub-model
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A CNF class generalizing exact linear formulas
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Worst case bounds for some NP-Complete modified Horn-SAT problems
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
The Multivariate Algorithmic Revolution and Beyond
Strong backdoors to nested satisfiability
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
Hi-index | 0.00 |