×

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]

MSC:
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
PDF BibTeX XML Cite
Full Text: DOI