Abstract
No abstract available.
Cited By
- Tran T, Pralet C and Fargier H Combining Incomplete Search and Clause Generation: An Application to the Orienteering Problems with Time Windows Integration of Constraint Programming, Artificial Intelligence, and Operations Research, (493-509)
- Björdal G, Flener P, Pearson J, Stuckey P and Tack G Solving Satisfaction Problems Using Large-Neighbourhood Search Principles and Practice of Constraint Programming, (55-71)
- Björdal G, Flener P, Pearson J and Stuckey P Exploring Declarative Local-Search Neighbourhoods with Constraint Programming Principles and Practice of Constraint Programming, (37-53)
- Akgün Ö, Attieh S, Gent I, Jefferson C, Miguel I, Nightingale P, Salamon A, Spracklen P and Wetter J A framework for constraint based local search using ESSENCE Proceedings of the 27th International Joint Conference on Artificial Intelligence, (1242-1248)
- Michel L and Van Hentenryck P (2017). A microkernel architecture for constraint programming, Constraints, 22:2, (107-151), Online publication date: 1-Apr-2017.
- Steimann F, Hagemann J and Ulke B (2016). Computing repair alternatives for malformed programs using constraint attribute grammars, ACM SIGPLAN Notices, 51:10, (711-730), Online publication date: 5-Dec-2016.
- Steimann F, Hagemann J and Ulke B Computing repair alternatives for malformed programs using constraint attribute grammars Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (711-730)
- Cattafi M, Herrero R, Gavanelli M, Nonato M and Malucelli F (2015). An application of constraint solving for home health care, AI Communications, 28:2, (215-237), Online publication date: 1-Apr-2015.
- Van Hoai N, Cong L and Dung P Solving the TimeTabling problem at FPT University Proceedings of the 6th International Symposium on Information and Communication Technology, (98-104)
- Dung P, Trung H, Hoang T and Hoang N A Java library for Constraint-Based Local Search Proceedings of the 6th International Symposium on Information and Communication Technology, (67-74)
- Nejati S and Briand L Identifying optimal trade-offs between CPU time usage and temporal constraints using search Proceedings of the 2014 International Symposium on Software Testing and Analysis, (351-361)
- Schrijvers T, Wu N, Desouter B and Demoen B Heuristics Entwined with Handlers Combined Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, (259-270)
- Pralet C, Verfaillie G, Maillard A, Hébrard E, Jozefowiez N, Huguet M, Desmousceaux T, Blanc-Paques P and Jaubert J Satellite data download management with uncertainty about the generated volumes Proceedings of the Twenty-Fourth International Conferenc on International Conference on Automated Planning and Scheduling, (430-438)
- Daniels N, Gallant A, Ramsey N and Cowen L MRFy Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics, (133-143)
- Nejati S, Adedjouma M, Briand L, Hellebaut J, Begey J and Clement Y Minimizing CPU time shortage risks in integrated embedded software Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (529-539)
- Diaz D, Abreu S and Codognet P (2012). Targeting the Cell Broadband Engine for constraint-based local search, Concurrency and Computation: Practice & Experience, 24:6, (647-660), Online publication date: 1-Apr-2012.
- Nejati S, Di Alesio S, Sabetzadeh M and Briand L Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (759-775)
- Caniou Y, Diaz D, Richoux F, Codognet P and Abreu S Performance analysis of parallel constraint-based local search Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, (337-338)
- Skubch H Solving non-linear arithmetic constraints in soft realtime environments Proceedings of the 27th Annual ACM Symposium on Applied Computing, (67-73)
- He J, Flener P and Pearson J Solution neighbourhoods for constraint-directed local search Proceedings of the 27th Annual ACM Symposium on Applied Computing, (74-79)
- Mancini T, Flener P and Pearson J Combinatorial problem solving over relational databases Proceedings of the 27th Annual ACM Symposium on Applied Computing, (80-87)
- Caniou Y, Diaz D, Richoux F, Codognet P and Abreu S (2012). Performance analysis of parallel constraint-based local search, ACM SIGPLAN Notices, 47:8, (337-338), Online publication date: 11-Sep-2012.
- Schrijvers T, Triska M and Demoen B Tor Proceedings of the 14th symposium on Principles and practice of declarative programming, (103-114)
- Bardin S and Gotlieb A FDCC Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (17-33)
- Bordeaux L and Narodytska N On the violation of circuits in decomposable negation normal form Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence, (194-205)
- Michel L Constraint Programming and a Usability Quest Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming - Volume 7514, (1-1)
- Beldiceanu N and Simonis H A Model Seeker Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming - Volume 7514, (141-157)
- Pralet C and Verfaillie G Time-Dependent Simple Temporal Networks Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming - Volume 7514, (608-623)
- Parisini F and Milano M Improving CP-based local branching via sliced neighborhood search Proceedings of the 2011 ACM Symposium on Applied Computing, (887-892)
- Viet H, Deville Y, Bonaventure O and Francois P Traffic engineering for multiple spanning tree protocol in large data centers Proceedings of the 23rd International Teletraffic Congress, (23-30)
- He J, Flener P and Pearson J (2011). An automaton Constraint for Local Search, Fundamenta Informaticae, 107:2-3, (223-248), Online publication date: 1-Apr-2011.
- Dotu I, Cebrian M, Van Hentenryck P and Clote P (2011). On Lattice Protein Structure Prediction Revisited, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 8:6, (1620-1632), Online publication date: 1-Nov-2011.
- Caniou Y, Codognet P, Diaz D and Abreu S Experiments in parallel constraint-based local search Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization, (96-107)
- De Raedt L and Nijssen S Towards programming languages for machine learning and data mining Proceedings of the 19th international conference on Foundations of intelligent systems, (25-32)
- Bui Q, Pham Q and Deville Y Constraint-based local search for fields partitioning problem Proceedings of the 2nd Symposium on Information and Communication Technology, (19-28)
- Salgueiro P and Abreu S A DSL for intrusion detection based on constraint programming Proceedings of the 3rd international conference on Security of information and networks, (224-232)
- Gualandi S, Malucelli F and Sozzi D On the design of the next generation access networks Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (162-175)
- Khichane M, Albert P and Solnon C Strong combination of ant colony optimization with constraint programming optimization Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (232-245)
- Pham Q, Deville Y and Van Hentenryck P Constraint-Based local search for constrained optimum paths problems Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (267-281)
- Michel L, Shvartsman A, Sonderegger E and Van Hentenryck P Load balancing and almost symmetries for RAMBO quorum hosting Proceedings of the 16th international conference on Principles and practice of constraint programming, (598-612)
- Blomdahl K, Flener P and Pearson J Contingency plans for air traffic management Proceedings of the 16th international conference on Principles and practice of constraint programming, (643-657)
- Pham Q, Do P, Deville Y and Ho T Constraint-based local search for solving non-simple paths problems on graphs Proceedings of the 1st Symposium on Information and Communication Technology, (1-8)
- Dung P, Deville Y and Van Hentenryck P LS(graph & tree) Proceedings of the 2009 ACM symposium on Applied Computing, (1402-1407)
- Michel L, See A and Van Hentenryck P (2009). Transparent Parallelization of Constraint Programming, INFORMS Journal on Computing, 21:3, (363-382), Online publication date: 1-Jul-2009.
- Ågren M, Flener P and Pearson J (2009). Revisiting constraint-directed search, Information and Computation, 207:3, (438-457), Online publication date: 1-Mar-2009.
- Dooms G, Hentenryck P and Michel L (2009). Model-driven visualizations of constraint-based local search, Constraints, 14:3, (294-324), Online publication date: 1-Sep-2009.
- Dotu I, Van Hentenryck P, Patricio M, Berlanga A, García J and Molina J Real-time tabu search for video tracking association Proceedings of the 15th international conference on Principles and practice of constraint programming, (21-34)
- Ågren M Memoisation for constraint-based local search Proceedings of the 15th international conference on Principles and practice of constraint programming, (119-126)
- Le Clément V, Deville Y and Solnon C Constraint-based graph matching Proceedings of the 15th international conference on Principles and practice of constraint programming, (274-288)
- Kadioglu S and Sellmann M Dialectic search Proceedings of the 15th international conference on Principles and practice of constraint programming, (486-500)
- Van Hentenryck P, Coffrin C and Gutkovich B Constraint-based local search for the automatic generation of architectural tests Proceedings of the 15th international conference on Principles and practice of constraint programming, (787-801)
- Salgueiro P and Abreu S Network monitoring with constraint programming Proceedings of the 18th international conference on Applications of declarative programming and knowledge management, (223-238)
- Frank S Constraint solving in common Lisp Proceedings of the 2007 International Lisp Conference, (1-10)
- Beldiceanu N, Carlsson M, Demassey S and Petit T (2007). Global Constraint Catalogue, Constraints, 12:1, (21-62), Online publication date: 1-Mar-2007.
- Ågren M, Flener P and Pearson J (2007). Generic Incremental Algorithms for Local Search, Constraints, 12:3, (293-324), Online publication date: 1-Sep-2007.
- Di Gaspero L, Roli A and Schaerf A EasyAnalyzer Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics, (76-90)
- Di Gaspero L and Schaerf A EasySyn++ Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics, (177-181)
- Gargani A and Refalo P An efficient model and strategy for the steel mill slab design problem Proceedings of the 13th international conference on Principles and practice of constraint programming, (77-89)
- Dooms G, Van Hentenryck P and Michel L Model-driven visualizations of constraint-based local search Proceedings of the 13th international conference on Principles and practice of constraint programming, (271-285)
- Halim S, Yap R and Lau H Viz Proceedings of the 19th annual ACM symposium on User interface software and technology, (57-66)
- Sellmann M and Ansótegui C Disco - Novo - GoGo proceedings of the 21st national conference on Artificial intelligence - Volume 2, (1051-1056)
- Bordeaux L, Hamadi Y and Zhang L (2006). Propositional Satisfiability and Constraint Programming, ACM Computing Surveys, 38:4, (12-es), Online publication date: 25-Dec-2006.
- Muhammad R and Stuckey P A stochastic non-CNF SAT solver Proceedings of the 9th Pacific Rim international conference on Artificial intelligence, (120-129)
- Wallace M Hybrid algorithms in constraint programming Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints, (1-32)
Index Terms
- Constraint-Based Local Search
Recommendations
Reducing search space in local search for constraint satisfaction
Eighteenth national conference on Artificial intelligenceTypically local search methods for solving constraint satisfaction problems such as GSAT, WalkSAT and DLM treat the problem as an optimization problem. Each constraint contributes part of a penalty function in assessing trial valuations. Local search ...
Anytime local search for distributed constraint optimization
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3Most former studies of Distributed Constraint Optimization Problems (DisCOPs) search considered only complete search algorithms, which are practical only for relatively small problems. Distributed local search algorithms can be used for solving DisCOPs. ...