DISTANCE-SAT: complexity and algorithms
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Propositional Distances and Preference Representation
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Inference methods for a pseudo-boolean satisfiability solver
Eighteenth national conference on Artificial intelligence
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Tools for modeling and solving search problems
AI Communications
Local-search techniques for boolean combinations of pseudo-boolean constraints
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Reasoning under inconsistency: the forgotten connective
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Local symmetry breaking during search in CSPs
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Majority-rule-based preference aggregation on multi-attribute domains with CP-nets
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dealing with Satisfiability and n-ary CSPs in a Logical Framework
Journal of Automated Reasoning
| Hi-index | 0.00 |