Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Richard Uhler
Smten With Satisfiability-Based Search
Related publications
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
