Principles and practice of constraint programming - CP 2000. 6th international conference, Singapore, September 18--21, 2000. Proceedings (Q1582975)

The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1999) has been reviewed (see Zbl 0929.00071). Indexed articles: \textit{Mackworth, Alan K.}, Constraint-based agents: The ABC's of BBA's, 1-10 [Zbl 1044.68779] \textit{Borning, Alan}, Constraints for interactive graphical applications, 11-12 [Zbl 1044.68740] \textit{McAllester, David}, Meta-complexity theorems: Talk abstract, 13-17 [Zbl 1044.68782] \textit{Abdennadher, Slim; Rigotti, Christophe}, Automatic generation of propagation rules for finite domains, 18-34 [Zbl 1044.68733] \textit{Bacchus, Fahiem}, Extending forward checking, 35-51 [Zbl 1044.68735] \textit{Beldiceanu, Nicolas}, Global constraints as graph properties on a structured network of elementary constraints of the same type, 52-66 [Zbl 1044.68737] \textit{Benhamou, Frédéric; Goualard, Frédéric}, Universally quantified interval constraints, 67-82 [Zbl 1044.68738] \textit{Bistarelli, S.; Gennari, R.; Rossi, F.}, Constraint propagation for soft constraints: Generalization and termination conditions, 83-97 [Zbl 1044.68739] \textit{Brodsky, Alexander; Farkas, Csilla; Wijesekera, Duminda; Wang, X. Sean}, Constraints, inference channels and secure databases, 98-113 [Zbl 1044.68741] \textit{Broxvall, Mathias; Jonsson, Peter; Renz, Jochen}, Refinements and independence: A simple method for identifying tractable disjunctive constraints, 114-127 [Zbl 1044.68742] \textit{Carrive, Jean; Roy, Pierre; Pachet, François; Ronfard, Rémi}, A language for audiovisual template specification and recognition, 128-142 [Zbl 1044.68730] \textit{Coarfa, Cristian; Demopoulos, Demetrios D.; San Miguel Aguirre, Alfonso; Subramanian, Devika; Vardi, Moshe Y.}, Random 3-SAT: The plot thickens, 143-159 [Zbl 1044.68746] \textit{Cohen, David; Jeavons, Peter; Gault, Richard}, New tractable classes from old, 160-171 [Zbl 1044.68747] \textit{Colmerauer, Alain; Dao, Thi-Bich-Hanh}, Expressiveness of full first order constraints in the algebra of finite or infinite trees, 172-186 [Zbl 1044.68748] \textit{Focacci, Filippo; Lodi, Andrea; Milano, Michela}, Cutting planes in constraint programming: An hybrid approach, 187-201 [Zbl 1044.68758] \textit{Gupta, Vineet; Jagadeesan, Lalita Jategaonkar; Jagadeesan, Radha; Jiang, Xiaowei; Läufer, Konstantin}, A constraint-based framework for prototyping distributed virtual applications, 202-217 [Zbl 1044.68762] \textit{Hosobe, Hiroshi}, A scalable linear constraint solver for user interface construction, 218-232 [Zbl 1044.68768] \textit{Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; Rueher, Michel}, A constraint programming approach for solving rigid geometric systems, 233-248 [Zbl 1044.68771] \textit{Jussien, Narendra; Debruyne, Romuald; Boizumault, Patrice}, Maintaining arc-consistency within dynamic backtracking, 249-261 [Zbl 1044.68772] \textit{Kask, Kalev}, New search heuristics for Max-CSP, 262-277 [Zbl 1044.68773] \textit{Krishnamachari, Bhaskar; Xie, Xi; Selman, Bart; Wicker, Stephen}, Analysis of random noise and random walk algorithms for satisfiability testing, 278-290 [Zbl 1044.68775] \textit{Larrosa, Javier}, Boosting search with variable elimination, 291-305 [Zbl 1044.68777] \textit{Mehlhorn, Kurt; Thiel, Sven}, Faster algorithms for bound-consistency of the sortedness and the alldifferent constraint, 306-319 [Zbl 1044.68783] \textit{Müller, Tobias}, Practical investigation of constraints with graph views, 320-336 [Zbl 1044.68785] \textit{Prestwich, Steven}, A hybrid search architecture applied to hard random 3-SAT and low-autocorrelation binary sequences, 337-352 [Zbl 1044.68789] \textit{Prosser, Patrick; Stergiou, Kostas; Walsh, Toby}, Singleton consistencies, 353-368 [Zbl 1044.68790] \textit{Refalo, Philippe}, Linear formulation of constraint programming models and hybrid solvers, 369-383 [Zbl 1044.68792] \textit{Régin, Jean-Charles; Rueher, Michel}, A global constraint combining a sum constraint and difference constraints, 384-395 [Zbl 1044.68794] \textit{Revesz, Peter; Cai, Mengchu}, Efficient querying of periodic spatiotemporal objects, 396-410 [Zbl 1044.68586] \textit{Schiex, Thomas}, Arc consistency for soft constraints, 411-424 [Zbl 1044.68797] \textit{Wah, Benjamin W.; Chen, Yi Xin}, Optimal anytime constrained simulated annealing for constrained global optimization, 425-440 [Zbl 1044.68807] \textit{Walsh, Toby}, SAT \(v\) CSP, 441-456 [Zbl 1044.68808] \textit{Wu, Hui; Jaffar, Joxan; Yap, Roland}, Instruction scheduling with timing constraints on a single RISC processor with 0/1 latencies, 457-469 [Zbl 1044.68525] \textit{Yuanlin, Zhang; Yap, Roland H. C.}, Arc consistency on \(n\)-ary monotonic and linear constraints, 470-483 [Zbl 1044.68810] \textit{Angelsmark, Ola; Jonsson, Peter}, Some observations on durations, scheduling and Allen's algebra, 484-488 [Zbl 1044.68734] \textit{Baptista, Luís; Marques-Silva, João}, Using randomization and learning to solve hard real-world instances of satisfiability, 489-494 [Zbl 1044.68736] \textit{Bruni, Renato; Sassano, Antonio}, Finding minimal unsatisfiable subformulae in satisfiability instances, 495-499 [Zbl 1044.68743] \textit{Fowler, David W.; Brown, Kenneth N.}, Branching constraint satisfaction problems for solutions robust under likely changes, 500-504 [Zbl 1044.68759] \textit{Granvilliers, Laurent; Monfroy, Eric}, Constraint propagation: Between abstract models and ad hoc strategies, 505-509 [Zbl 1044.68760] \textit{Hannebauer, Markus}, How to model and verify concurrent algorithms for distributed CSPs, 510-514 [Zbl 1044.68763] \textit{Hirayama, Katsutoshi; Yokoo, Makoto; Sycara, Katia}, The phase transition in distributed constraint satisfaction problems: First results, 515-519 [Zbl 1044.68764] \textit{Hofstedt, Petra}, Cooperating constraint solvers, 520-524 [Zbl 1044.68765] \textit{Horsch, Michael C.; Havens, William S.}, An empirical study of probabilistic arc consistency as a variable ordering heuristic, 525-530 [Zbl 1044.68767] \textit{Nagarajan, S.; Goodwin, S.; Sattar, A.; Thornton, J.}, On dual encodings for non-binary constraint satisfaction problems, 531-536 [Zbl 1044.68786] \textit{Marques-Silva, João}, Algebraic simplification techniques for propositional satisfiability, 537-542 [Zbl 1044.68781] \textit{Régin, J.-C.; Petit, T.; Bessière, C.; Puget, J.-F.}, An original constraint based approach for solving over constrained problems, 543-548 [Zbl 1044.68793] \textit{Sakurai, Yuko; Yokoo, Makoto; Kamei, Koji}, An efficient approximate algorithm for winner determination in combinatorial auctions, 549-553 [Zbl 1044.68796]