Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Anytime algorithms for constraint satisfaction and SAT problems
ACM SIGART Bulletin
Extending GENET to solve fuzzy constraint satisfaction problems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Hierarchical constraint satisfaction in spatial databases
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
Sacre: a constraint satisfaction problem based theorem prover
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
Fast planning through greedy action graphs
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
Using artificial intelligence planning to generate antenna tracking plans
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
A Glimpse of Constraint Satisfaction
Artificial Intelligence Review
Hill climbing algorithms for content-based retrieval of similar configurations
SIGIR '00 Proceedings of the 23rd annual international ACM SIGIR conference on Research and development in information retrieval
Multi-agent oriented constraint satisfaction
Artificial Intelligence
Optimizing Personal Computer Configurationswith Heuristic-Based Search Methods
Artificial Intelligence Review
Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem
Annals of Mathematics and Artificial Intelligence
Coloration Neighbourhood Search With Forward Checking
Annals of Mathematics and Artificial Intelligence
Dynamic Flexible Constraint Satisfaction
Applied Intelligence
Toward A Constraint-Satisfaction Frameworkfor Evaluating Program-Understanding Algorithms
Automated Software Engineering
Applying Plan Recognition Algorithms To Program Understanding
Automated Software Engineering
Constraint Programming: Strategic Directions
Constraints
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
Journal of Automated Reasoning
Local Search Algorithms for SAT: An Empirical Evaluation
Journal of Automated Reasoning
Nonsystematic Search and No-Good Learning
Journal of Automated Reasoning
Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems
Journal of Global Optimization
A Discrete Lagrangian-Based Global-SearchMethod for Solving Satisfiability Problems
Journal of Global Optimization
Adaptive Optimizing Compilers for the 21st Century
The Journal of Supercomputing
Local search with constraint propagation and conflict-based heuristics
Artificial Intelligence
A Survey of Automated Timetabling
Artificial Intelligence Review
Algorithms for Distributed Constraint Satisfaction: A Review
Autonomous Agents and Multi-Agent Systems
Negotiation on Data Allocation in Multi-Agent Environments
Autonomous Agents and Multi-Agent Systems
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
A Constraint-Based High School Scheduling System
IEEE Expert: Intelligent Systems and Their Applications
A deterministic (2 - 2/(k+ 1))n algorithm for k-SAT based on local search
Theoretical Computer Science
Approximate Processing of Multiway Spatial Joins in Very Large Databases
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
An Experimental Investigation of Iterated Local Search for Coloring Graphs
Proceedings of the Applications of Evolutionary Computing on EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN
Boosting ACO with a Preprocessing Step
Proceedings of the Applications of Evolutionary Computing on EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN
Local Search for DAG Scheduling and Task Assignment
ICPP '97 Proceedings of the international Conference on Parallel Processing
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Exploiting Interchangeabilities for Case Adaptation
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Deterministic Algorithms for k-SAT Based on Covering Codes and Local Search
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Intelligent Support for Interactive Configuration of Mass-Customized Products
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
Boosting Local Search with Artificial Ants
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Local Probing Applied to Scheduling
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Solving Employee Timetabling Problems by Generalized Local Search
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Scheduling, Re-scheduling and Communication in the Multi-agent Extended Enterprise Environment
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Reducing search space in local search for constraint satisfaction
Eighteenth national conference on Artificial intelligence
Staff scheduling for inbound call centers and customer contact centers
Eighteenth national conference on Artificial intelligence
Modelling and Solving Employee Timetabling Problems
Annals of Mathematics and Artificial Intelligence
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Removing Node and Edge Overlapping in Graph Layouts by A Modified EGENET Solver
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Cooperative negotiation for soft real-time distributed resource allocation
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A multiagent-system for integrating a large-scale project
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Speedup learning for repair-based search by identifying redundant steps
The Journal of Machine Learning Research
Generative constraint-based configuration of large technical systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
An Iterative Construction Heuristic for the Ore Selection Problem
Journal of Heuristics
A constraint-based hybrid heuristic solver for practical school timetabling
Design and application of hybrid intelligent systems
Using Cooperative Mediation to Solve Distributed Constraint Satisfaction Problems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Costly valuation computation in auctions
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
IEEE Intelligent Systems
Conflicts in teamwork: hybrids to the rescue
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Comparing two approaches to dynamic, distributed constraint satisfaction
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
On-line resources allocation for ATM networks with rerouting
Computers and Operations Research
Examining DCSP coordination tradeoffs
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
Anytime Learning of Decision Trees
The Journal of Machine Learning Research
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Generalised graph colouring by a hybrid of local search and constraint programming
Discrete Applied Mathematics
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Unifying distributed constraint algorithms in a BDI negotiation framework
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Unifying distributed constraint algorithms in a BDI negotiation framework
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
A framework for constructing complete algorithms based on local search
AI Communications - Constraint Programming for Planning and Scheduling
Hyper-heuristics for the dynamic variable ordering in constraint satisfaction problems
Proceedings of the 10th annual conference on Genetic and evolutionary computation
An Iterative local-search framework for solving constraint satisfaction problem
Applied Soft Computing
A Branch and Bound Algorithm for Numerical MAX-CSP
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Global search algorithm for automated maintenance planning and scheduling of parts requests
Computers and Operations Research
Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Parallel and distributed local search in COMET
Computers and Operations Research
A Study on the Short-Term Prohibition Mechanisms in Tabu Search
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
The U.S. national football league scheduling problem
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Managing Diversity on an AIS That Solves 3-Colouring Problems
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Combining local search and look-ahead for scheduling and constraint satisfaction problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Quantum computing and phase transitions in combinatorial search
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Solving highly constrained search problems with quantum computers
Journal of Artificial Intelligence Research
SAT-encodings, search space structure, and local search performance
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Constraint satisfaction as global optimization
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Maximizing flexibility: a retraction heuristic for oversubscribed scheduling problems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Making the breakout algorithm complete using systematic search
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving non-Boolean satisfiability problems with stochastic local search
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Applying local search to disjunctive temporal problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Combination of local search strategies for rotating workforce scheduling problem
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Systematic versus stochastic constraint satisfaction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
D3G2A: the dynamic distributed double guided genetic algorithm for the K-Graph partitioning problem
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
Staff scheduling for inbound call centers and customer contact centers
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Solving dynamic constraint satisfaction problems by identifying stable features
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Extending the RCPSP for modeling and solving disruption management problems
Applied Intelligence
Relaxed survey propagation for the weighted maximum satisfiability problem
Journal of Artificial Intelligence Research
ParamILS: an automatic algorithm configuration framework
Journal of Artificial Intelligence Research
Soft interchangeability for case adaptation
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Variable dependency in local search: prevention Is better than cure
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
NAIS: a calibrated immune inspired algorithm to solve binary constraint satisfaction problems
ICARIS'07 Proceedings of the 6th international conference on Artificial immune systems
Hybrid local search techniques for the resource-constrained project scheduling problem
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Inc*: an incremental approach for improving local search heuristics
EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Efficient planning by graph rewriting
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
The breakout method for escaping from local minima
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
An empirical study of greedy local search for satisfiability testing
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Integrating heuristics for constraint satisfaction problems: a case study
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
An average case analysis of planning
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Negotiation on data allocation in multi-agent environments
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Solving linear pseudo-Boolean constraint problems with local search
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning by rewriting: efficiently generating high-quality plans
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
The very particular structure of the very hard instances
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Tuning local search for satisfiability testing
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Combining local search and backtracking techniques for constraint satisfaction
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Complex university course timetabling
Journal of Scheduling
Improving CP-based local branching via sliced neighborhood search
Proceedings of the 2011 ACM Symposium on Applied Computing
Lagrange neural network for solving CSP which includes linear inequality constraints
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Neural networks to guide the selection of heuristics within constraint satisfaction problems
MCPR'11 Proceedings of the Third Mexican conference on Pattern recognition
A CSP solver focusing on FAC variables
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Stochastic local search for SMT: combining theory solvers with WalkSAT
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Evolutionary squeaky wheel optimization: A new framework for analysis
Evolutionary Computation
Emergent timetabling organization
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A hybrid discrete particle swarm algorithm for hard binary CSPs
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
The min-conflict packing problem
Computers and Operations Research
Expert Systems with Applications: An International Journal
Overlay networks for task allocation and coordination in large-scale networks of cooperative agents
Autonomous Agents and Multi-Agent Systems
A hybrid particle swarm optimization for binary CSPs
ICIC'06 Proceedings of the 2006 international conference on Computational Intelligence and Bioinformatics - Volume Part III
Handling over-constrained problems in distributed multi-agent systems
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
A local search system for solving constraint problems of declarative graph-based global constraints
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Sequential model-based optimization for general algorithm configuration
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Variable and value ordering decision matrix hyper-heuristics: a local improvement approach
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Characterization of a new restart strategy for randomized backtrack search
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
A value ordering heuristic for local search in distributed resource allocation
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
ETTO: emergent timetabling by cooperative self-organization
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
Solving distributed CSPs using dynamic, partial centralization without explicit constraint passing
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Targeting the Cell Broadband Engine for constraint-based local search
Concurrency and Computation: Practice & Experience
Bounding, filtering and diversification in CP-based local branching
Journal of Heuristics
Improving the performance of vector hyper-heuristics through local search
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Relationship-Preserving change propagation in process ecosystems
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Learning vector quantization for variable ordering in constraint satisfaction problems
Pattern Recognition Letters
Solving the missing node problem using structure and attribute information
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
NuMVC: an efficient local search algorithm for minimum vertex cover
Journal of Artificial Intelligence Research
Expert Systems with Applications: An International Journal
Efficient bidding strategies for Cliff-Edge problems
Autonomous Agents and Multi-Agent Systems
Improving the privacy of the asynchronous partial overlay protocol
Multiagent and Grid Systems - Principles and Practice of Multi-Agent Systems
Hi-index | 0.00 |