Algorithms & data structures
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Synthesizing constraint expressions
Communications of the ACM
Backtrack programming techniques
Communications of the ACM
Graphs and Hypergraphs
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
A sufficient condition for backtrack-bounded search
Journal of the ACM (JACM)
Decomposing an N-ary relation into a tree of binary relations
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A dynamic constraint-directed ordered search algorithm for solving constraint satisfaction problems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
On the Recognition of Curved Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence
Towards a compiler for a constraint language
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The Combinatorics of Heuristic Search Termination for Object Recognition in Cluttered Environments
IEEE Transactions on Pattern Analysis and Machine Intelligence
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
Bucket elimination: a unifying framework for processing hard and soft constraints
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
A general consistency technique for increasing the controllability of high level synthesis tools
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
An algebra for cyclic ordering of 2D orientations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Graph coloring algorithms for fast evaluation of Curtis decompositions
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A generic customizable framework for inverse local consistency
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
Functional elimination and 0/1/All constraints
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
Qualitative and quantitative time interval constraint networks
CSC '91 Proceedings of the 19th annual conference on Computer Science
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Artificial Intelligence Review
Constructing an asymptotic phase transition in random binary constraint satisfaction problems
Theoretical Computer Science - Phase transitions in combinatorial problems
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
Automated Software Engineering
Constraint Programming: Strategic Directions
Constraints
Constraint Propagation in Graph Coloring
Journal of Heuristics
On point-duration networks for temporal reasoning
Artificial Intelligence
Mini-buckets: A general scheme for bounded inference
Journal of the ACM (JACM)
Applying soft computing in defining spatial relations
A Self-Adaptable Distributed Evolutionary Algorithm to Tackle Space Planning Problems
PARA '02 Proceedings of the 6th International Conference on Applied Parallel Computing Advanced Scientific Computing
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
Managing Schemata for Semistructured Databases Using Constraints
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
INDU: An Interval and Duration Network
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Constraint Programming Approach to the Stable Marriage Problem
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Collaborative Learning for Constraint Solving
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
On the Monotonicity of Games Generated by Symmetric Submodular Functions
WG '01 Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science
Consistency and set intersection
Eighteenth national conference on Artificial intelligence
New tractable constraint classes from old
Exploring artificial intelligence in the new millennium
A probabilistic analysis of randomly generated binary constraint satisfaction problems
Theoretical Computer Science
Hybrid backtracking bounded by tree-decomposition of constraint networks
Artificial Intelligence
Integrating knowledge in problem solving search procedures
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Program understanding as constraint satisfaction
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
On the monotonicity of games generated by symmetric submodular functions
Discrete Applied Mathematics - Submodularity
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
A Comparison between SAT and CSP Techniques
Constraints
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
The satisfiability threshold for randomly generated binary constraint satisfaction problems
Random Structures & Algorithms
A Generic Library of Problem Solving Methods for Scheduling Applications
IEEE Transactions on Knowledge and Data Engineering
Locally consistent constraint satisfaction problems
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
Determining the consistency of partial tree descriptions
Artificial Intelligence
Removing propagation redundant constraints in redundant modeling
ACM Transactions on Computational Logic (TOCL)
A fuzzy model for the representation and recognition of linguistically described trends
Intelligent Data Analysis
Theoretical analysis of singleton arc consistency and its extensions
Artificial Intelligence
Exploiting automatically inferred constraint-models for building identification in satellite imagery
Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
International Journal of Computational Science and Engineering
Matching independent global constraints for composite web services
Proceedings of the 17th international conference on World Wide Web
Distributed search in railway scheduling problems
Engineering Applications of Artificial Intelligence
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Approximated consistency for the automatic recording constraint
Computers and Operations Research
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
A fuzzy constraint satisfaction approach for signal abstraction
International Journal of Approximate Reasoning
Collapsibility and consistency in quantified constraint satisfaction
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Tractable tree convex constraint networks
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Managing Diversity on an AIS That Solves 3-Colouring Problems
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Search space reduction and Russian Doll search
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The parameterized complexity of global constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
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
A new method for solving constraint satisfaction problems
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
The anatomy of easy problems: a constraint-satisfaction formulation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Taking advantage of stable sets of variables in constraint satisfaction problems
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A universal programming language
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Experimental evaluation of preprocessing techniques in constraint satisfaction problems
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
Approximation algorithms for temporal reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Domain filtering can degrade intelligent backtracking search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A comparison of structural CSP decomposition methods
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
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Consistency and set intersection
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the feasibility of distributed constraint satisfaction
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
Constraints, consistency and closure
Artificial Intelligence
International Journal of Data Mining and Bioinformatics
Note: On exponential time lower bound of Knapsack under backtracking
Theoretical Computer Science
A graph based backtracking algorithm for solving general CSPs
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Towards automated reasoning on the properties of numerical constraints
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
An approach for QoS contract negotiation in distributed component-based software
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
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
Decidable relationships between consistency notions for constraint satisfaction problems
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Reasoning about cardinal directions between extended objects
Artificial Intelligence
The Knowledge Engineering Review
Removing redundancies in constraint networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Removing redundancies in constraint networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
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
Dynamic constraint satisfaction problems
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
Default logic, propositional logic and constraints
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
On the minimality and decomposability of constraint networks
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
Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Conjunctive width heuristics for maximal constraint satisfaction
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Summarizing CSP hardness with continuous probability distributions
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
Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
SampleSearch: Importance sampling in presence of determinism
Artificial Intelligence
Integrating strong local consistencies into constraint solvers
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Planning solar array operations on the international space station
ACM Transactions on Intelligent Systems and Technology (TIST)
Learning cluster-based structure to solve constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Journal of Artificial Intelligence Research
External-memory network analysis algorithms for naturally sparse graphs
ESA'11 Proceedings of the 19th European conference on Algorithms
On mini-buckets and the min-fill elimination ordering
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?"
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
RDF entailment as a graph homomorphism
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Phase transition of tractability in constraint satisfaction and bayesian network inference
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Towards "propagation = logic + control"
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A hybrid particle swarm optimization for binary CSPs
ICIC'06 Proceedings of the 2006 international conference on Computational Intelligence and Bioinformatics - Volume Part III
Locally consistent constraint satisfaction problems with binary constraints
WG'05 Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science
New structural decomposition techniques for constraint satisfaction problems
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Finite-length Markov processes with constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
Qualitative temporal and spatial reasoning revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Revisiting neighborhood inverse consistency on binary CSPs
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Syntactically characterizing local-to-global consistency in ORD-Horn
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Variable-Centered Consistency in Model RB
Minds and Machines
Detecting and exploiting subproblem tractability
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Channel and Time Slot Allocation for Dense RFID Networks
Wireless Personal Communications: An International Journal
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.02 |