Extending and implementing the stable model semantics
Artificial Intelligence
Formal Models of Heavy-Tailed Behavior in Combinatorial Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Characterizing SAT Problems with the Row Convexity Property
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
CL '00 Proceedings of the First International Conference on Computational Logic
On the limit of branching rules for hard random unsatisfiable 3-SAT
Discrete Applied Mathematics - The renesse issue on satisfiability
Local Search for Boolean Relations on the Basis of Unit Propagation
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Annals of Mathematics and Artificial Intelligence
GridSAT: A Chaff-based Distributed SAT Solver for the Grid
Proceedings of the 2003 ACM/IEEE conference on Supercomputing
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
Journal of Automated Reasoning
BerkMin: A fast and robust Sat-solver
Discrete Applied Mathematics
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Backbones and backdoors in satisfiability
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
New inference rules for Max-SAT
Journal of Artificial Intelligence Research
A backbone-search heuristic for efficient solving of hard 3-SAT formulae
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On Modern Clause-Learning Satisfiability Solvers
Journal of Automated Reasoning
Effective incorporation of double look-ahead procedures
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
A decision-making procedure for resolution-based SAT-solvers
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
From approximate clausal reasoning to problem hardness
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Coprocessor 2.0: a flexible CNF simplifier
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.89 |