Capturing Structure with Satisfiability
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Complexity of many-valued logics
Beyond two
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Annals of Mathematics and Artificial Intelligence
On the refutational completeness of signed binary resolution and hyperresolution
Fuzzy Sets and Systems
Inference rules for high-order consistency in weighted CSP
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Mapping CSP into many-valued SAT
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Mapping problems with finite-domain variables to problems with boolean variables
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
Fundamenta Informaticae
Resolution procedures for multiple-valued optimization
Information Sciences: an International Journal
An algorithm for random signed 3-SAT with intervals
Theoretical Computer Science
| Hi-index | 0.00 |