Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Extended Horn sets in propositional logic
Journal of the ACM (JACM)
Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A linear programming approach to logical inference
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
A BDD-based satisfiability infrastructure using the unate recursive paradigm
DATE '00 Proceedings of the conference on Design, automation and test in Europe
LPSAT: a unified approach to RTL satisfiability
Proceedings of the conference on Design, automation and test in Europe
An Overview of Backtrack Search Satisfiability Algorithms
Annals of Mathematics and Artificial Intelligence
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
Mathematical Programming Embeddings of Logic
Journal of Automated Reasoning
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
A Comparison between SAT and CSP Techniques
Constraints
MaxSolver: an efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
An approach to guided learning of boolean functions
Mathematical and Computer Modelling: An International Journal
An efficient algorithm for the 3-satisfiability problem
Operations Research Letters
Resolution vs. cutting plane solution of inference problems: Some computational experience
Operations Research Letters
Semidefinite resolution and exactness of semidefinite relaxations for satisfiability
Discrete Applied Mathematics
| Hi-index | 0.01 |