Amanote Research
Register
Sign In
Smten With Satisfiability-Based Search
doi 10.1145/2660193.2660208
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2014
Authors
Richard Uhler
Nirav Dave
Publisher
ACM Press
Related search
Grasp—A New Search Algorithm for Satisfiability
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Automated Design Debugging With Maximum Satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
Hypergraph-Based Wikipedia Search With Semantics
International Journal of Web Science
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
Satisfiability and Feasibility in a Relationship-Based Workflow Authorization Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory
Proceedings of the AAAI Conference on Artificial Intelligence
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
