Viz: a visual analysis suite for explaining local search behavior
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Generic Incremental Algorithms for Local Search
Constraints
A GRASP approach for the extended car sequencing problem
Journal of Scheduling
The Design of the Zinc Modelling Language
Constraints
Quality-of-service oriented web service composition algorithm and planning architecture
Journal of Systems and Software
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Protein Structure Prediction with Large Neighborhood Constraint Programming Search
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Integration of ACO in a Constraint Programming Language
ANTS '08 Proceedings of the 6th international conference on Ant Colony Optimization and Swarm Intelligence
Parallel and distributed local search in COMET
Computers and Operations Research
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Revisiting constraint-directed search
Information and Computation
LS(graph & tree): a local search framework for constraint optimization on graphs and trees
Proceedings of the 2009 ACM symposium on Applied Computing
Artificial Intelligence
Advanced Engineering Informatics
A Hybrid LS/CP Approach to Solve the Weekly Log-Truck Scheduling Problem
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Progress on the Progressive Party Problem
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Transparent Parallelization of Constraint Programming
INFORMS Journal on Computing
Disco - Novo - GoGo: integrating local search and complete search with restarts
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Synthesis of constraint-based local search algorithms from high-level models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Constraint solving in common Lisp
Proceedings of the 2007 International Lisp Conference
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
HM '09 Proceedings of the 6th International Workshop on Hybrid Metaheuristics
Monadic constraint programming
Journal of Functional Programming
A stochastic non-CNF SAT solver
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
EasySyn++: a tool for automatic synthesis of stochastic local search algorithms
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
An efficient model and strategy for the steel mill slab design problem
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Model-driven visualizations of constraint-based local search
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Hybrid algorithms in constraint programming
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Real-time tabu search for video tracking association
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Memoisation for constraint-based local search
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Constraint-based graph matching
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Constraint-based local search for the automatic generation of architectural tests
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
AllDifferent-based filtering for subgraph isomorphism
Artificial Intelligence
Proceedings of the 2010 Symposium on Information and Communication Technology
A DSL for intrusion detection based on constraint programming
Proceedings of the 3rd international conference on Security of information and networks
Load balancing and almost symmetries for RAMBO quorum hosting
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Contingency plans for air traffic management
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Using constraints for intrusion detection: the NeMODe system
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Improving CP-based local branching via sliced neighborhood search
Proceedings of the 2011 ACM Symposium on Applied Computing
Hybrid metaheuristics in combinatorial optimization: A survey
Applied Soft Computing
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Network monitoring with constraint programming: preliminary specification and analysis
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Towards programming languages for machine learning and data mining
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Synthesis of search algorithms from high-level CP models
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Kangaroo: an efficient constraint-based local search system using lazy propagation
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Traffic engineering for multiple spanning tree protocol in large data centers
Proceedings of the 23rd International Teletraffic Congress
On Lattice Protein Structure Prediction Revisited
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Constraint-based local search for fields partitioning problem
Proceedings of the Second Symposium on Information and Communication Technology
Distributed constraint-based local search
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Inferring variable conflicts for local search
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Theory and Practice of Logic Programming - Prolog Systems
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
Performance analysis of parallel constraint-based local search
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
On the design of the next generation access networks
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Strong combination of ant colony optimization with constraint programming optimization
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Constraint-Based local search for constrained optimum paths problems
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Pareto autonomous local search
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Solving non-linear arithmetic constraints in soft realtime environments
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Solution neighbourhoods for constraint-directed local search
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Proceedings of the 27th Annual ACM Symposium on Applied Computing
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
FDCC: a combined approach for solving constraints over finite domains and arrays
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
An automaton Constraint for Local Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
A heuristic to solve the synchronized log-truck scheduling problem
Computers and Operations Research
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Constraint programming and a usability quest
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
A model seeker: extracting global constraint models from positive examples
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Time-Dependent simple temporal networks
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
On the violation of circuits in decomposable negation normal form
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Constraints
Constraint propagation as information maximization
Artificial Intelligence
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Modelling distributed network attacks with constraints
International Journal of Bio-Inspired Computation
MiningZinc: a modeling language for constraint-based mining
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |