Principles and practice of constraint programming -- CP 2001. 7th international conference, Paphos, Cyprus, November 26 -- December 1, 2001. Proceedings (Q5960925)

The articles of mathematical interest will be reviewed individually. The preceding conference (6th, 2000) has been reviewed (see Zbl 0947.00041). Indexed articles: \textit{Eremin, Andrew; Wallace, Mark}, Hybrid Benders decomposition algorithms in constraint logic programming, 1-15 [Zbl 1067.68630] \textit{Thorsteinsson, Erlendur S.}, Branch-and-check: A hybrid framework integrating mixed integer programming and constraint logic programming, 16-30 [Zbl 1067.68677] \textit{Abdennadher, Slim; Rigotti, Christophe}, Towards inductive constraint solving, 31-45 [Zbl 1067.68606] \textit{Epstein, Susan L.; Freuder, Eugene}, Collaborative learning for constraint solving, 46-60 [Zbl 1067.68629] \textit{Benoist, Thierry; Bourreau, Eric; Caseau, Yves; Rottembourg, Benoît}, Towards stochastic constraint programming: A study of online multi-choice knapsack with deadlines, 61-76 [Zbl 1067.68615] \textit{Focacci, Filippo; Milano, Michaela}, Global cut framework for removing symmetries, 77-92 [Zbl 1067.68633] \textit{Fahle, Torsten; Schamberger, Stefan; Sellmann, Meinolf}, Symmetry breaking, 93-107 [Zbl 1067.68631] \textit{Dubois, Olivier; Dequen, Gilles}, The non-existence of (3,1,2)-conjugate orthogonal idempotent Latin square of order 10, 108-120 [Zbl 1067.68626] \textit{San Miguel Aguirre, Alfonso; Vardi, Moshe Y.}, Random 3-SAT and BDDs: The plot thickens further, 121-136 [Zbl 1067.68668] \textit{Béjar, Ramón; Cabiscol, Alba; Fernàndez, Cèsar; Manyà, Felip; Gomes, Carla}, Capturing structure with satisfiability, 137-152 [Zbl 1067.68535] \textit{Zhang, Weixiong}, Phase transitions and backbones of 3-SAT and Maximum 3-SAT, 153-167 [Zbl 1067.68683] \textit{Mamoulis, Nikos; Stergiou, Kostas}, Solving non-binary CSPs using the hidden variable encoding, 168-182 [Zbl 1067.68651] \textit{Pesant, Gilles}, A filtering algorithm for the stretch constraint, 183-195 [Zbl 1067.68140] \textit{Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane}, Network flow problems in constraint programming, 196-210 [Zbl 1067.68618] \textit{Beldiceanu, Nicolas}, Pruning for the minimum constraint family and for the number of distinct values constraint family, 211-224 [Zbl 1067.68611] \textit{Gent, Ian P.; Irving, Robert W.; Manlove, David F.; Prosser, Patrick; Smith, Barbara M.}, A constraint programming approach to the stable marriage problem, 225-239 [Zbl 1067.68639] \textit{Choi, Chiu Wo; Henz, Martin; Ng, Ka Boon}, Components for state restoration in tree search, 240-255 [Zbl 1067.68621] \textit{Wolf, Armin}, Adaptive constraint handling with CHR in Java, 256-270 [Zbl 1067.68682] \textit{Silaghi, Marius-Călin; Sam-Haroud, Djamila; Faltings, Boi}, Consistency maintenance for ABT, 271-285 [Zbl 1067.68673] \textit{Delzanno, Giorgio; Bultan, Tevfik}, Constraint-based verification of client-server protocols, 286-301 [Zbl 1067.68624] \textit{Palamidessi, Catuscia; Valencia, Frank D.}, A temporal concurrent constraint programming calculus, 302-316 [Zbl 1067.68662] \textit{Meseguer, Pedro; Larrosa, Javier; Sánchez, Martì}, Lower bounds for non-binary constraint optimization problems, 317-331 [Zbl 1067.68656] \textit{Régin, Jean-Charles; Petit, Thierry; Bessière, Christian; Puget, Jean-François}, New lower bounds of constraint violations for over-constrained problems, 332-345 [Zbl 1067.68664] \textit{Dechter, Rina; Kask, Kalev; Larrosa, Javier}, A general scheme for multiple lower bound computation in constraint optimization, 346-360 [Zbl 1067.68623] \textit{Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan}, Solving disjunctive constraints for interactive graphical applications, 361-376 [Zbl 1067.68652] \textit{Beldiceanu, Nicolas; Carlsson, Mats}, Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint, 377-391 [Zbl 1067.68612] \textit{Beldiceanu, Nicolas; Guo, Qi; Thiel, Sven}, Non-overlapping constraints between convex polytopes, 392-407 [Zbl 1067.68613] \textit{Chen, Hubie; Gomes, Carla; Selman, Bart}, Formal models of heavy-tailed behavior in combinatorial search, 408-421 [Zbl 1067.68620] \textit{Armando, Alessandro; Peccia, Felice; Ranise, Silvio}, The phase transition of the linear inequalities problem, 422-432 [Zbl 1067.68607] \textit{Kolaitis, Phokion G.; Raffill, Thomas}, In search of a phase transition in the AC-matching problem, 433-450 [Zbl 1067.68649] \textit{Petit, Thierry; Régin, Jean-Charles; Bessière, Christian}, Specific filtering algorithms for over-constrained problems, 451-463 [Zbl 1067.68663] \textit{Meseguer, Pedro; Sánchez, Martì}, Specializing Russian doll search, 464-478 [Zbl 1067.68657] \textit{Swain, Martin T.; Kemp, Graham J. L.}, A CLP approach to the protein side-chain placement problem, 479-493 [Zbl 1067.68676] \textit{Backofen, Rolf; Will, Sebastian}, Fast, constraint-based threading of HP-sequences to hydrophobic cores, 494-508 [Zbl 1067.68609] \textit{Henz, Martin; Tan, Edgar; Yap, Roland}, One flip per clock cycle, 509-523 [Zbl 1067.68642] \textit{Michel, Claude; Rueher, Michel; Lebbah, Yahia}, Solving constraints over floating-point numbers, 524-538 [Zbl 1067.68658] \textit{Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves}, Optimal pruning in parametric differential equations, 539-553 [Zbl 1067.65509] \textit{Azevedo, Francisco; Barahona, Pedro}, Interaction of constraint programming and local search for optimisation problems, 554-559 [Zbl 1067.68608] \textit{Bennaceur, Hachemi; Affane, Mohamed-Salah}, Partition-k-AC: An efficient filtering technique combining domain partition and arc consistency, 560-564 [Zbl 1067.68614] \textit{Bessière, Christian; Chmeiss, Assef; Saïs, Lakhdar}, Neighborhood-based variable ordering heuristics for the constraint satisfaction problem, 565-569 [Zbl 1067.68616] \textit{Cadoli, Marco}, The expressive power of binary linear programming, 570-574 [Zbl 1067.68619] \textit{Colton, Simon; Miguel, Ian}, Constraint generation via automated theory formation, 575-579 [Zbl 1067.68622] \textit{Easton, Kelly; Nemhauser, George; Trick, Michael}, The traveling tournament problem description and benchmarks, 580-584 [Zbl 1067.68627] \textit{Freuder, Eugene C.; Likitvivatanavong, Chavalit; Wallace, Richard J.}, Deriving explanations and implications for constraint satisfaction problems, 585-589 [Zbl 1067.68634] \textit{Freuder, Eugene C.; O'Sullivan, Barry}, Generating tradeoffs for interactive constraint-based configuration, 590-594 [Zbl 1067.68635] \textit{Gasca, Rafael M.; Ortega, Juan A.; Toro, Miguel}, Structural constraint-based modeling and reasoning with basic configuration cells, 595-599 [Zbl 1067.68636] \textit{Granvilliers, Laurent; Monfroy, Eric}, Composition operators for constraint propagation: An application to Choco, 600-604 [Zbl 1067.68640] \textit{Hirsch, Edward A.; Kojevnikov, Arist}, Solving Boolean satisfiability using local search guided by unit clause elimination, 605-609 [Zbl 1067.68643] \textit{Katsirelos, George; Bacchus, Fahiem}, GAC on conjunctions of constraints, 610-614 [Zbl 1067.68646] \textit{Smith, Barbara M.}, Dual models of permutation problems, 615-619 [Zbl 1067.68674] \textit{Solnon, Christine}, Boosting local search with artificial ants, 620-624 [Zbl 1067.68675] \textit{van Beek, Peter; Wilken, Kent}, Fast optimal instruction scheduling for single-issue processors with arbitrary latencies, 625-639 [Zbl 1067.68525] \textit{Ekelin, Cecilia; Jonsson, Jan}, Evaluation of search heuristics for embedded system scheduling problems, 640-654 [Zbl 1067.68628] \textit{Fromherz, Markus P. J.; Mahoney, James V.}, Interpreting sloppy stick figures with constraint-based subgraph matching, 655-669 [Zbl 1067.68595] \textit{Verfaillie, Gérard; Lemaître, Michel}, Selecting and scheduling observations for agile satellites: Some lessons from the constraint reasoning community point of view, 670-684 [Zbl 1067.68680] \textit{Modi, Pragnesh Jay; Jung, Hyuckchul; Tambe, Milind; Shen, Wei-Min; Kulkarni, Shriniwas}, A dynamic distributed constraint satisfaction approach to resource allocation, 685-700 [Zbl 1067.68660] \textit{Mattioli, Juliette; Museux, Nicolas; Jourdan, J.; Savéant, Pierre; de Givry, Simon}, A constraint optimization framework for mapping a digital signal processing application onto a parallel architecture, 701-715 [Zbl 1067.68653] \textit{Voudouris, Christos; Dorne, Raphael; Lesaint, David; Liret, Anne}, iOpt: A software toolkit for heuristic search methods, 716-729 [Zbl 1067.68681] \textit{Merchez, Sylvain; Lecoutre, Christophe; Boussemart, Frederic}, AbsCon: A prototype to solve CSPs with abstraction, 730-744 [Zbl 1067.68655] \textit{Váncza, József; Márkus, András}, A constraint engine for manufacturing process planning, 745-759 [Zbl 1067.68679] \textit{Beckwith, Amy M.; Choueiry, Berthe Y.}, On the dynamic detection of interchangeability in finite constraint satisfaction problems, 760 [Zbl 1067.68610] \textit{Drake, Lyndon}, Automatic generation of implied clauses for SAT, 761 [Zbl 1067.68625] \textit{Fioravanti, Fabio}, Verification of infinite-state systems by specialization of CLP programs, 762 [Zbl 1067.68632] \textit{Gavanelli, Marco}, Partially ordered constraint optimization problems, 763 [Zbl 1067.68637] \textit{Gennari, Rosella}, Translations for comparing soft frameworks, 764 [Zbl 1067.68638] \textit{Harris, Mitchell A.}, Counting satisfiable \(k\)-CNF formulas, 765 [Zbl 1067.68641] \textit{Hnich, Brahim}, High-level modelling and reformulation of constraint satisfaction problems, 766 [Zbl 1067.68644] \textit{Jung, Hyuckchul}, Distributed constraint satisfaction as a computational model of negotiation via argumentation, 767 [Zbl 1067.68645] \textit{Kilborn, Erik}, Aircraft assignment using constraint programming, 768 [Zbl 1067.68647] \textit{Kiziltan, Zeynep}, Labelling heuristics for CSP application domains, 769 [Zbl 1067.68648] \textit{Lynce, Inês; Marques-Silva, João}, Improving SAT algorithms by using search pruning techniques, 770 [Zbl 1067.68650] \textit{McDonald, Iain}, Optimum symmetry breaking in CSPs using group theory, 771 [Zbl 1067.68654] \textit{Bessière, Christian; Maestre, Arnold; Meseguer, Pedro}, Distributed dynamic backtracking, 772 [Zbl 1067.68617] \textit{Modi, Pragnesh Jay}, Constraint programming for distributed resource allocation, 773 [Zbl 1067.68659] \textit{Neagu, Nicoleta}, Exploiting the CSP structure by interchangeability, 774-775 [Zbl 1067.68661] \textit{Panati, Andrea}, Constraint processing techniques for model-based reasoning about dynamic systems, 776 [Zbl 1067.68783] \textit{Ringwelski, Georg}, Distributed constraint satisfaction with cooperating asynchronous solvers, 777 [Zbl 1067.68665] \textit{Rousseau, Louis-Martin; Pesant, Gilles; Gendreau, Michel}, Building negative reduced cost paths using constraint programming, 778 [Zbl 1067.68666] \textit{Salido, Miguel A.; Barber, Federico}, An incremental and non-binary CSP solver: The hyperpolyhedron search algorithm, 779-780 [Zbl 1067.68667] \textit{Schwarz, Sibylle}, Partial stable generated models of generalized logic programs with constraints, 781-782 [Zbl 1067.68669] \textit{Seelisch, Frank}, Heterogeneous constraint problems, 783 [Zbl 1067.68670] \textit{Sheridan, Daniel}, Comparing SAT encodings for model checking, 784 [Zbl 1067.68671] \textit{Silaghi, Marius-Călin; Sabău, Stefan; Sam-Haroud, Djamila; Faltings, Boi}, Asynchronous search for numeric DisCSPs, 785 [Zbl 1067.68672] \textit{Valencia, Frank D.}, Temporal concurrent constraint programming, 786 [Zbl 1067.68678]