Many hard examples for resolution
Journal of the ACM (JACM)
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Experimental results on the application of satisfiability algorithms to scheduling problems
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
On the complexity of extending ground resolution with symmetry rules
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Optimization-intensive watermarking techniques for decision problems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
On the utility of plan-space (causal) encodings
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Local search characteristics of incomplete SAT procedures
Artificial Intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Compute-intensive methods in artificial intelligence
Annals of Mathematics and Artificial Intelligence
Logical Cryptanalysis as a SAT Problem
Journal of Automated Reasoning
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
Journal of Automated Reasoning
Proving Unsatisfiability of CNFs Locally
Journal of Automated Reasoning
About the incremental validation of first-order stratified knowledge-based decision-support systems
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Intelligent information systems and applications
Dependent and Independent Variables in Propositional Satisfiability
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Recovering and Exploiting Structural Knowledge from CNF Formulas
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
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Rough sets and boolean reasoning
Granular computing
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Rough sets perspective on data and knowledge
Handbook of data mining and knowledge discovery
Handbook of data mining and knowledge discovery
Overcoming the Christmas Tree Syndrome
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Parallelizing local search for CNF satisfiability using vectorization and PVM
Journal of Experimental Algorithmics (JEA)
How to fake an RSA signature by encoding modular root finding as a SAT problem
Discrete Applied Mathematics - The renesse issue on satisfiability
Equivalent literal propagation in the DLL procedure
Discrete Applied Mathematics - The renesse issue on satisfiability
On the limit of branching rules for hard random unsatisfiable 3-SAT
Discrete Applied Mathematics - The renesse issue on satisfiability
SAT problems with chains of dependent variables
Discrete Applied Mathematics - The renesse issue on satisfiability
Design-as-satisfiability: A new approach to automated synthesis
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Generating and evaluating designs and plans for microwave modules
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
A SAT Approach to Query Optimization in Mediator Systems
Annals of Mathematics and Artificial Intelligence
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
Journal of Automated Reasoning
Discrete Applied Mathematics
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Random SAT Instances à la Carte
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Complete local search for propositional satisfiability
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Refutation by randomised general resolution
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A new incomplete method for CSP inconsistency checking
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Using Walk-SAT and Rel-SAT for cryptographic key search
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
SAT-encodings, search space structure, and local search performance
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
GUNSAT: a greedy local search algorithm for unsatisfiability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Building structure into local search for SAT
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
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
Towards industrial-like random SAT instances
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Predicting learnt clauses quality in modern SAT solvers
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Circuit based encoding of CNF formula
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Variable dependency in local search: prevention Is better than cure
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Formalizing dangerous SAT encodings
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Rough sets: trends and challenges
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
On the structure of industrial SAT instances
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Boosting local search thanks to CDCL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Another complete local search method for SAT
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Approximate boolean reasoning approach to rough sets and data mining
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
Local search for unsatisfiability
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Approximate boolean reasoning: foundations and applications in data mining
Transactions on Rough Sets V
Using cross-entropy for satisfiability
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical challenges that need to be addressed in order to maintain this momentum. This paper outlines concrete technical challenges in the core areas of systematic search, stochastic search, problem encodings, and criteria for evaluating progress in this area.