CompSci 275, Sec. A, Constraint Networks, Spring 2009

main | homework | readings | slides

Possible projects: Recommended journal papers: Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination, Sebastian Will, Anke Busch and Rolf Backofen, Constraints Vol. 13, 1-2 Recommended papers from CP Conference 2008: Cost-based Domain Filtering for Stochastic Constraint Programming, Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven Prestwich A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems, T. K. Satish Kumar Exploiting Decomposition in Constraint Optimization Problems, Matthew Kitching, Fahiem Bacchus Other possibly interesting journal papers: Compiling finite linear CSP into SAT, Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa and Mutsunori Banbara, Constraints Vol 14, 2 Theoretical analysis of singleton arc consistency and its extensions, Christian Bessiere and Romuald Debruyne, Artificial Intelligence Vol. 172, 1 Understanding the role of noise in stochastic local search: Analysis and experiments, Ole J. Mengshoel, Artificial Intelligence Vol. 172, 8-9 A comparative runtime analysis of heuristic algorithms for satisfiability problems, Yuren Zhou, Jun He, and Qing Nie, Artificial Intelligence Vol. 173, 2 Generalised arc consistency for the AllDifferent constraint: An empirical survey, Ian P. Gent, Ian Miguel, Peter Nightingale, Artificial Intelligence Vol. 172, 18 Relatively Quantified Constraint Satisfaction, Manuel Bodirsky, Hubie Chen, Constraints Vol. 14, 1 Value Ordering for Quantified CSPs, David Stynes and Kenneth Brown, Constraints Vol. 14, 1 A Solver for QBFs in Negation Normal Form, Uwe Egly, Martina Seidl, Stefan Woltran, Constraints Vol. 14, 1 A Self-Adaptive Multi-Engine Solver for Quantified Boolean Formulas, Lucas Pulina and Armando Tacchella, Constraints Vol. 14, 1 Efficient Handling of Universally Quantified Inequalities, Alexandre Goldsztejn, Claude Michel, Michel Rueher, Constraints Vol. 14, 1 Other papers from CP Conference 2008: An Application of Constraint Programming to Superblock Instruction Scheduling, Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek Classes of Submodular Constraints Expressible by Graph Cuts, Stanislav Zivny, Peter G. Jeavons PPT |+| PDF_GoogleBooks Optimization of Simple Tabular Reduction for Table Constraints, Christophe Lecoutre Dichotomic Search Protocols for Constrained Optimization, Meinolf Sellmann, Serdar Kadioglu From High Girth Graphs to Hard Instances, Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carles Mateu A Constraint-Programming Framework for Bounded Program Verification, Héléne Collavizza, Michel Rueher, Pascal Van Hentenryck Approximate Compilation of Constraints into Multivalued Decision Diagrams, Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann Quantified Constraint Optimization, Marco Benedetti, Arnaud Lallouet, Jérémie Vautard Maintaining Generalized Arc Consistency on Ad Hoc r-ary Constraints, Kenil C.K. Cheng, Roland H.C. Yap