zbMATH — the first resource for mathematics

Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. (English) Zbl 1142.68007
Lecture Notes in Computer Science 4741. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). xv, 890 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1141.68004).
Indexed articles:
Beaumet, Grégory; Verfaillie, Gérard; Charmeau, Marie-Claire, Estimation of the minimal duration of an attitude change for an autonomous agile earth-observing satellite, 3-17 [Zbl 1145.68504]
Bacchus, Fahiem, GAC via unit propagation, 133-147 [Zbl 1145.68502]
Bacchus, Fahiem; Stergiou, Kostas, Solution directed backjumping for QCSP, 148-163 [Zbl 1145.68503]
Benhamou, Belaïd; Saïdi, Mohamed Réda, Local symmetry breaking during search in CSPs, 195-209 [Zbl 1145.68505]
Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby, Encodings of the Sequence constraint, 210-224 [Zbl 1145.68507]
Darras, Sylvain; Dequen, Gilles; Devendeville, Laure; Li, Chu-Min, On inconsistent clause-subsets for Max-SAT solving, 225-240 [Zbl 1145.68509]
Denmat, Tristan; Gotlieb, Arnaud; Ducassé, Mireille, An abstract interpretation based combinator for modelling while loops in constraint programming, 241-255 [Zbl 1145.68510]
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish, Tradeoffs in the complexity of backdoor detection, 256-270 [Zbl 1145.68511]
Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent, Dealing with incomplete preferences in soft constraint problems, 286-300 [Zbl 1145.68513]
Gerevini, Alfonso; Saetti, Alessandro, Efficient computation of minimal point algebra constraints by metagraph closure, 301-316 [Zbl 1145.68515]
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric, MUST: Provide a finer-grained explanation of unsatisfiability, 317-331 [Zbl 1145.68516]
Järvisalo, Matti; Junttila, Tommi, Limitations of restricted branching in clause learning, 348-363 [Zbl 1145.68517]
Jégou, Philippe; Ndiaye, Samba Ndojh; Terrioux, Cyril, Dynamic management of heuristics for solving structured CSPs, 364-378 [Zbl 1145.68518]
Khemmoudj, Mohand Ou Idir; Bennaceur, Hachemi, Valid inequality based lower bounds for WCSP, 394-408 [Zbl 1145.68519]
Law, Y. C.; Lee, J. H. M.; Walsh, Toby; Yip, J. Y. K., Breaking symmetry of interchangeable variables and values, 423-437 [Zbl 1145.68521]
Lecoutre, Christophe; Cardon, Stéphane; Vion, Julien, Path consistency by dual consistency, 438-452 [Zbl 1145.68522]
Lecoutre, Christophe; Sais, Lakhdar; Tabary, Sébastien; Vidal, Vincent, Exploiting past and future: Pruning by inconsistent partial state dominance, 453-467 [Zbl 1145.68523]
Lombardi, Michele; Milano, Michela, Scheduling conditional task graphs, 468-482 [Zbl 1145.68524]
Marques-Silva, Joao; Lynce, Inês, Towards robust CNF encodings of cardinality constraints, 483-497 [Zbl 1145.68525]
Mateescu, Robert; Marinescu, Radu; Dechter, Rina, AND/OR multi-valued decision diagrams for constraint optimization, 498-513 [Zbl 1145.68526]
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael, Propagation = lazy clause generation, 544-558 [Zbl 1145.68527]
Quimper, Claude-Guy; Walsh, Toby, Decomposing global Grammar constraints, 590-604 [Zbl 1145.68529]
Trombettoni, Gilles; Chabert, Gilles, Constructive interval disjunction, 635-650 [Zbl 1145.68530]
van den Briel, Menkes; Benton, J.; Kambhampati, Subbarao; Vossen, Thomas, An LP-based heuristic for optimal planning, 651-665 [Zbl 1145.68537]
Wilson, Nic; Grimes, Diarmuid; Freuder, Eugene C., A cost-based model and algorithms for interleaving solving and elicitation of CSPs, 666-680 [Zbl 1145.68532]
Wu, Huayue; van Beek, Peter, On universal restart strategies for backtracking search, 681-695 [Zbl 1145.68533]
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin, Hierarchical hardness models for SAT, 696-711 [Zbl 1145.68534]
Zampelli, Stéphane; Deville, Yves; Solnon, Christine; Sorlin, Sébastien; Dupont, Pierre, Filtering for subgraph isomorphism, 728-742 [Zbl 1145.68535]
Zanarini, Alessandro; Pesant, Gilles, Solution counting algorithms for constraint-centered search heuristics, 743-757 [Zbl 1145.68536]
Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y., An analysis of slow convergence in interval propagation, 790-797 [Zbl 1145.68506]
Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav, The expressive power of valued constraints: Hierarchies and collapses, 798-805 [Zbl 1146.68455]
Gavanelli, Marco, The log-support encoding of CSP into SAT, 815-822 [Zbl 1145.68512]
Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M., Groupoids and conditional symmetry, 823-830 [Zbl 1145.68514]
Kiziltan, Zeynep; Lodi, Andrea; Milano, Michela; Parisini, Fabio, CP-based local branching, 847-855 [Zbl 1145.68520]
Peintner, Bart; Venable, Kristen Brent; Yorke-Smith, Neil, Strong controllability of disjunctive temporal problems with uncertainty, 856-863 [Zbl 1145.68528]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI