GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
An Overview of Backtrack Search Satisfiability Algorithms
Annals of Mathematics and Artificial Intelligence
Average case results for satisfiability algorithms under the random-clause-width model
Annals of Mathematics and Artificial Intelligence
Stochastic Boolean Satisfiability
Journal of Automated Reasoning
Solving Satisfiability Via Boltzmann Machines
IEEE Transactions on Pattern Analysis and Machine Intelligence
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Finding Tractable Formulas in NNF
CL '00 Proceedings of the First International Conference on Computational Logic
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Syntactic characterizations of belief change operators
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Circuit based encoding of CNF formula
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Failed value consistencies for constraint satisfaction
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Hard and easy distributions of SAT problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Backtracking tactics in the backtrack method for SAT
Mathematical and Computer Modelling: An International Journal
An efficient algorithm for the 3-satisfiability problem
Operations Research Letters
On rule systems whose consistency can be locally maintained
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
| Hi-index | 0.00 |