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
Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
Image similarity retrieval by spatial constraints
Proceedings of the seventh international conference on Information and knowledge management
Hard problems for CSP Algorithms
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Which search problems are random?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Processing and optimization of multiway spatial joins using R-trees
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Simple distributed algorithms for the cycle cutset problem
SAC '97 Proceedings of the 1997 ACM symposium on Applied 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
An Overview of Backtrack Search Satisfiability Algorithms
Annals of Mathematics and Artificial Intelligence
Maintenance scheduling problems as benchmarks for constraint algorithms
Annals of Mathematics and Artificial Intelligence
A Constraint-Based Approach to Assigning System Components to Tasks
Applied Intelligence
Constraint Programming: Strategic Directions
Constraints
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
Nonsystematic Search and No-Good Learning
Journal of Automated Reasoning
Local search with constraint propagation and conflict-based heuristics
Artificial Intelligence
Resource Allocation in Distributed Factory Scheduling
IEEE Expert: Intelligent Systems and Their Applications
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
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
Meta-queries - Computation and Evaluation
DaWaK 2000 Proceedings of the Second International Conference on Data Warehousing and Knowledge Discovery
Distributed Configuration as Distributed Dynamic Constraint Satisfaction
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Non-systematic Search and Learning: An Empirical Study
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Resolution Complexity of Random Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Benefits of Bounded Model Checking at an Industrial Setting
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Reformulating Propositional Satisfiability as Constraint Satisfaction
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Decomposing and Distributing Configuration Problems
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Learning for quantified boolean logic satisfiability
Eighteenth national conference on Artificial intelligence
Hybrid backtracking bounded by tree-decomposition of constraint networks
Artificial Intelligence
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Metaqueries: semantics, complexity, and efficient algorithms
Artificial Intelligence
Efficient solution techniques for disjunctive temporal reasoning problems
Artificial Intelligence
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Learning in a compiler for MINSAT algorithms
Theory and Practice of Logic Programming
Towards Fast Vickrey Pricing using Constraint Programming
Artificial Intelligence Review
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
AND/OR search spaces for graphical models
Artificial Intelligence
Evolving combinatorial problem instances that are difficult to solve
Evolutionary Computation
A fuzzy model for the representation and recognition of linguistically described trends
Intelligent Data Analysis
Constructive generation of very hard 3-colorability instances
Discrete Applied Mathematics
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
International Journal of Computational Science and Engineering
SAT graph-based representation: A new perspective
Journal of Algorithms
An explanation-based tools for debugging constraint satisfaction problems
Applied Soft Computing
ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking
Autonomous Agents and Multi-Agent Systems
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Extending dynamic backtracking to solve weighted conditional CSPs
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
Memory intensive AND/OR search for combinatorial optimization in graphical models
Artificial Intelligence
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Performing Bayesian inference by weighted model counting
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Transposition tables for constraint satisfaction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Randomized algorithms for the loop cutset problem
Journal of Artificial Intelligence Research
Conflict-directed backjumping revisited
Journal of Artificial Intelligence Research
An architectural approach to ensuring consistency in hierarchical execution
Journal of Artificial Intelligence Research
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Clause/term resolution and learning in the evaluation of quantified Boolean formulas
Journal of Artificial Intelligence Research
Improving connectionist energy minimization
Journal of Artificial Intelligence Research
Generic preferences over subsets of structured objects
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
Domain filtering can degrade intelligent backtracking search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Satisfiability of boolean formulas over linear constraints
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Towards efficient metaquerying
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Nogood recording from restarts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A comparison of time-space schemes for graphical models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A theoretical evaluation of selected backtracking algorithms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial 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
Generalizing inconsistency learning for constraint satisfaction
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
An expected-cost analysis of backtracking and non-backtracking algorithms
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On the feasibility of distributed constraint satisfaction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Backjumping for quantified Boolean logic satisfiability
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Backtracking through biconnected components of a constraint graph
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Improving GASAT by replacing tabu search by DLM and enhancing the best members
Artificial Intelligence Review
INFORMS Journal on Computing
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
The effect of Nogood recording in DPLL-CBJ SAT algorithms
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Structural relaxations by variable renaming and their compilation for solving MinCostSAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Efficient reasoning for nogoods in constraint solvers with BDDs
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Search lessons learned from crossword puzzles
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
Is there any need for domain-dependent control information?
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
On the density of solutions in equilibrium points for the queens problem
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The breakout method for escaping from local minima
AAAI'93 Proceedings of the eleventh 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
Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
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
A graph-based method for improving GSAT
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Formalizing dependency directed backtracking and explanation based learning in refinement search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Learning cluster-based structure to solve constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Two hardness results on feedback vertex sets
FAW-AAIM'11 Proceedings of the 5th joint international frontiers in algorithmics, and 7th international conference on Algorithmic aspects in information and management
Domain-splitting generalized nogoods from restarts
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Random algorithms for the loop cutset problem
UAI'99 Proceedings of the Fifteenth 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
An evaluation of structural parameters for probabilistic reasoning: results on benchmark circuits
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Approximation algorithms for the loop cutset problem
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
When interval analysis helps inter-block backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A new algorithm for sampling CSP solutions uniformly at random
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Value elimination: bayesian inference via backtracking search
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Lazy explanations for constraint propagators
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Inter-block backtracking: exploiting the structure in continuous CSPs
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Conflict-Directed a* search for soft constraints
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Dynamic distributed backjumping
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
An empirical study of learning and forgetting constraints
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
Concurrent forward bounding for distributed constraint optimization problems
Artificial Intelligence
An improved kernel for the undirected planar feedback vertex set problem
IPEC'12 Proceedings of the 7th international conference on Parameterized and Exact Computation
Relationship-Preserving change propagation in process ecosystems
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
A novel approach for dynamic authorisation planning in constrained workflow systems
Proceedings of the 6th International Conference on Security of Information and Networks
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |