The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection
IEEE Transactions on Pattern Analysis and Machine Intelligence
Theory formation in artificial intelligence
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A constraint satisfaction approach to operative management of aircraft routing
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A polynomial time algorithm for the N-Queens problem
ACM SIGART Bulletin
An event-object recovery model for object-oriented user interfaces
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
Journal of the ACM (JACM)
On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A Parallel Algorithm for Graph Matching and Its MasPar Implementation
IEEE Transactions on Parallel and Distributed Systems
Closure properties of constraints
Journal of the ACM (JACM)
Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
Reversible DAC and other improvements for solving Max-CSP
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Hard problems for CSP Algorithms
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
A Glimpse of Constraint Satisfaction
Artificial Intelligence Review
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of maximal constraint languages
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Artificial Intelligence Review
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Bayes networks for estimating the number of solutions of constraint networks
Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions
Constraints
Constraint Solving and Programming: What Next?
Constraints
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
Constraint Propagation in Graph Coloring
Journal of Heuristics
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
Mini-buckets: A general scheme for bounded inference
Journal of the ACM (JACM)
A Knowledge Representation for Constraint Satisfaction Problems
IEEE Transactions on Knowledge and Data Engineering
Applying soft computing in defining spatial relations
Series-Parallel and Tree-Decomposition Approaches for Fuzzy Constraint Networks
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
An Examination of Probabilistic Value-Ordering Heuristics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Negotiating Agents in Manufacturing Decision Making Processes
E-Commerce Agents, Marketplace Solutions, Security Issues, and Supply and Demand
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Generalized Arc Consistency with Application to MaxCSP
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
An Empirical Study of Probabilistic Arc Consistency
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
On Tractable Queries and Constraints
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Reduction operations in fuzzy or valued constraint satisfaction
Fuzzy Sets and Systems - Optimisation and decision
A Strong Local Consistency for Constraint Satisfaction
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Advances in evolutionary computing
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Optimum tolerance design for complex assemblies using hierarchical interval constraint networks
Computers and Industrial Engineering
Annals of Mathematics and Artificial Intelligence
Interval constraint networks for tolerance analysis and synthesis
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A corpus-based statistical approach to automatic book indexing
ANLC '92 Proceedings of the third conference on Applied natural language processing
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
A Comparison between SAT and CSP Techniques
Constraints
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A new tractable class of constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Controlled propagation in continuous numerical constraint networks
Proceedings of the 2005 ACM symposium on Applied computing
Box-set consistency for interval-based constraint problems
Proceedings of the 2005 ACM symposium on Applied computing
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Guiding CNF-SAT search via efficient constraint partitioning
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Asynchronous backtracking without adding links: a new member in the ABT family
Artificial Intelligence - Special issue: Distributed constraint satisfaction
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Optimizing code parallelization through a constraint network based approach
Proceedings of the 43rd annual Design Automation Conference
Symbolic Techniques in Satisfiability Solving
Journal of Automated Reasoning
Efficient evaluation of n-ary conjunctive queries over trees and graphs
WIDM '06 Proceedings of the 8th annual ACM international workshop on Web information and data management
AND/OR search spaces for graphical models
Artificial Intelligence
Domain-dependent distributed models for railway scheduling
Knowledge-Based Systems
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
Domain permutation reduction for constraint satisfaction problems
Artificial Intelligence
Modelling and applying constraint relations in a product family data model
International Journal of Computer Applications in Technology
A unified theory of structural tractability for constraint satisfaction problems
Journal of Computer and System Sciences
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Artificial Intelligence
Distributed search in railway scheduling problems
Engineering Applications of Artificial Intelligence
Engineering Applications of Artificial Intelligence
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Directional Interchangeability for Enhancing CSP Solving
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Connecting ABT with Arc Consistency
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Improving ABT Performance by Adding Synchronization Points
Recent Advances in Constraints
Hybrid tractable CSPs which generalize tree structure
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
Polynomial constraint satisfaction problems, graph bisection, and the Ising partition function
ACM Transactions on Algorithms (TALG)
Macroscopic models of clique tree growth for Bayesian networks
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The parameterized complexity of global constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Mini-buckets: a general scheme for generating approximations in automated reasoning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Domain filtering consistencies
Journal of Artificial Intelligence Research
Set intersection and consistency in constraint networks
Journal of Artificial Intelligence Research
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Adaptive problem-solving for large-scale scheduling problems: a case study
Journal of Artificial Intelligence Research
MUSE CSP: an extension to the constraint satisfaction problem
Journal of Artificial Intelligence Research
Using pivot consistency to decompose and solve functional CSPS
Journal of Artificial Intelligence Research
Experimental evaluation of preprocessing techniques in constraint satisfaction problems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A comparison of ATMS and CSP techniques
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Constraint satisfaction with delayed evaluation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A planning/scheduling methodology for the constrained resource problem
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
When functional and bijective constraints make a CSP polynomial
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Domain filtering can degrade intelligent backtracking search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Exploiting interchangeabilities in constraint satisfaction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the hardness of approximate reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Abstraction via approximate symmetry
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
A comparison of structural CSP decomposition methods
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Improving search using indexing: a study with temporal CSPs
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the space-time trade-off in solving constraint satisfaction problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Look-ahead value ordering for constraint satisfaction problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Non-binary constraints and optimal dual-graph representations
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automated qualitative domain abstraction
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
An efficient arc consistency algorithm for a class of CSP problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Directed constraint networks: a relational framework for causal modeling
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Backtracking through biconnected components of a constraint graph
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A unified theory of structural tractability for constraint satisfaction and spread cut decomposition
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Constraints, consistency and closure
Artificial Intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
Asynchronous backtracking without adding links: a new member in the ABT family
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Scheduling of maintenance work: A constraint-based approach
Expert Systems with Applications: An International Journal
A global constraint for nesting problems
Artificial Intelligence Review
Tradeoffs in the complexity of backdoor detection
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Artificial Intelligence
Extracting microstructure in binary constraint networks
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Efficient recognition of acyclic clustered constraint satisfaction problems
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Understanding the scalability of Bayesian network inference using clique tree growth curves
Artificial Intelligence
Efficient multi-agent coordination using resource-aware junction trees
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The Knowledge Engineering Review
Join-graph propagation algorithms
Journal of Artificial Intelligence Research
Complexity of K-tree structured constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Tree decomposition with applications to constraint processing
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Dynamic constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
An algebraic approach to conflict resolution planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Some applications of graph bandwidth to constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Search lessons learned from crossword puzzles
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Parametric engineering design using constraint-based reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A framework for investigating production system formulations with polynomially bounded match
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Symmetry constraint inference in assembly planning: automatic assembly configuration specification
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Arc-consistency in dynamic constraint satisfaction problems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Default logic, propositional logic and constraints
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Is there any need for domain-dependent control information?
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Semantic evaluation as constraint network consistency
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An improved connectionist activation function for energy minimization
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On the minimality and decomposability of constraint networks
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Temporal reasoning in sequence graphs
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On the consistency of general constraint-satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Coping with disjunctions in temporal constraint satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A constraint decomposition method for spatio-temporal configuration problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Bayes networks for estimating the number of solutions to a CSP
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Artificial intelligence search algorithms
Algorithms and theory of computation handbook
A new hybrid tractable class of soft constraint problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Neighborhood inverse consistency preprocessing
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Data locality and parallelism optimization using a constraint-based approach
Journal of Parallel and Distributed Computing
Journal of Automated Reasoning
Semiring-induced propositional logic: definition and basic algorithms
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Hybrid tractability of valued constraint problems
Artificial Intelligence
Journal of Artificial Intelligence Research
Resource-aware junction trees for efficient multi-agent coordination
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
The parameterized complexity of local consistency
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Probabilistic arc consistency: a connection between constraint reasoning and probabilistic reasoning
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Empirical evaluation of approximation algorithms for probabilistic decoding
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
A scheme for approximating probabilistic inference
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Topological parameters for time-space tradeoff
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Algorithms and constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Typed guarded decompositions for constraint satisfaction
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
The complexity of conservative valued CSPs
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Treewidth in verification: local vs. global
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Search vs. symbolic techniques in satisfiability solving
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Variable ordering for efficient SAT search by analyzing constraint-variable dependencies
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Introduction to inconsistency tolerance
Inconsistency Tolerance
A tractable subclass of fuzzy constraint networks
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Hypertree decompositions: structure, algorithms, and applications
WG'05 Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science
Rational deployment of CSP heuristics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Solving the multiagent selection and scheduling problem
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Linear-programming design and analysis of fast algorithms for Max 2-CSP
Discrete Optimization
Rethinking cognitive architecture via graphical models
Cognitive Systems Research
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
The tractability of CSP classes defined by forbidden patterns
Journal of Artificial Intelligence Research
The complexity of conservative valued CSPs
Journal of the ACM (JACM)
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |