Hard problems for CSP Algorithms
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Resolution Complexity of Random Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Checking satisfiability of a conjunction of BDDs
Proceedings of the 40th annual Design Automation Conference
The description logic handbook
Accelerating Bounded Model Checking of Safety Properties
Formal Methods in System Design
Annals of Mathematics and Artificial Intelligence
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Modified branch and bound algorithm
EC'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing - Volume 8
Constraint satisfaction problem using modified branch and bound algorithm
WSEAS Transactions on Computers
A theory-based decision heuristic for DPLL(T)
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
The Gn,mphase transition is not hard for the Hamiltonian cycle problem
Journal of Artificial Intelligence Research
Direct backtracking: an advanced adaptation algorithm for pervasive applications
ARCS'08 Proceedings of the 21st international conference on Architecture of computing systems
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
Fundamenta Informaticae
| Hi-index | 0.00 |