Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
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)
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Boosting combinatorial search through randomization
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
FPGA '99 Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Model checking
A machine program for theorem-proving
Communications of the ACM
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Finding bugs with a constraint solver
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Applying SAT Methods in Unbounded Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
Proceedings of the 40th annual Design Automation Conference
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Conflict Analysis in Search Algorithms for Satisfiability
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Survey propagation: An algorithm for satisfiability
Random Structures & Algorithms
Preface: Special issue on computational methods for graph coloring and its generalizations
Discrete Applied Mathematics
Boosting Verification by Automatic Tuning of Decision Procedures
FMCAD '07 Proceedings of the Formal Methods in Computer Aided Design
Declarative Infrastructure Configuration Synthesis and Debugging
Journal of Network and Systems Management
Verification using satisfiability checking, predicate abstraction, and craig interpolation
Verification using satisfiability checking, predicate abstraction, and craig interpolation
SATzilla: portfolio-based algorithm selection for SAT
Journal of Artificial Intelligence Research
Backdoors to typical case complexity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Using CSP look-back techniques to solve real-world SAT instances
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Effective preprocessing in SAT through variable and clause elimination
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Post-silicon validation opportunities, challenges and recent advances
Proceedings of the 47th Design Automation Conference
Efficient reasoning about data trees via integer linear programming
Proceedings of the 14th International Conference on Database Theory
Satisfiability modulo theories: introduction and applications
Communications of the ACM
A satisfiability algorithm for AC0
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Efficient approximations of conjunctive queries
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Sciduction: combining induction, deduction, and structure for verification and synthesis
Proceedings of the 49th Annual Design Automation Conference
Efficient reasoning about data trees via integer linear programming
ACM Transactions on Database Systems (TODS)
On the limits of sparsification
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
Communications of the ACM
Abstract conflict driven learning
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A satisfiability approach to speed assignment for distributed real-time systems
Proceedings of the Conference on Design, Automation and Test in Europe
LearnSAT: a SAT solver for education
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education
Safety versus security in the quality calculus
Theories of Programming and Formal Methods
Dynamic policy adaptation for inference control of queries to a propositional information system
Journal of Computer Security - DBSec 2011
| Hi-index | 0.03 |
Satisfiability solvers can now be effectively deployed in practical applications.