Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of

Source URL: tmancini.di.uniroma1.it

• Constraint programming
• Operations research
• Search algorithms
• Constraint satisfaction problem
• Mathematical optimization
• Constraint satisfaction
• Heuristic
• Algorithm
• Duality
• Backtracking
• Travelling salesman problem
• Local consistency

Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of

Source URL: ceur-ws.org

• Constraint programming
• Operations research
• Search algorithms
• Constraint satisfaction problem
• Mathematical optimization
• Constraint satisfaction
• Heuristic
• Algorithm
• Duality
• Backtracking
• Travelling salesman problem
• Local consistency

1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba

Source URL: agent.inf.kyushu-u.ac.jp

• Constraint programming
• Constraint satisfaction problem
• Constraint satisfaction
• Backtracking
• Multi-agent system
• Local consistency
• Interchangeability algorithm

iMedia 2016 – Empfehlungen zum Thema Informatik Laufzeiten und Algorithmen - Experimentelle Annäherung an einige klassische Probleme der Informatik Laufzeitprobleme, nicht einfache Algorithmen wie Backtracking, Grapha

Source URL: imedia.bildung-rp.de

Leitprogramm zu B¨aume und Backtracking Mentorierte Arbeit Harald Pierh¨ofer

Source URL: www.abz.inf.ethz.ch

Goldreich’s One-Way Function Candidate and Myopic Backtracking Algorithms James Cook1, , Omid Etesami1, , Rachel Miller2,   , and Luca Trevisan1,† 1 Computer Science Division, U.C. Berkeley

Source URL: www.falsifian.org

Randomized Backtracking: Next Steps Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.ca Abstract—The use of randomized backtracking

Source URL: plg.uwaterloo.ca

Randomized Backtracking in State Space Traversal Pavel Par´ızek and Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo Abstract. While exhaustive state space traversal is not feasibl

Source URL: plg.uwaterloo.ca

1 Restricting Backtracking in Connection Calculi Jens Otten Institut f¨ur Informatik, University of Potsdam

Source URL: www.cs.uni-potsdam.de

Backtracking Based k-SAT Algorithms B B

Source URL: cseweb.ucsd.edu