Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008899561/catalog> ?p ?o. }

Showing items 1 to 40 of 40 with 100 items per page.

catalog contributor b12495063.
catalog contributor b12495064.
catalog created "2001.".
catalog date "2001".
catalog date "2001.".
catalog dateCopyrighted "2001.".
catalog description "An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm / Miguel A. Salido and Federico Barber -- Partial Stable Generated Models of Generalized Logic Programs with Constraints / Sibylle Schwarz -- Heterogeneous Constraint Problems (An Outline of the Field of Work) / Frank Seelisch -- Comparing SAT Encodings for Model Checking / Daniel Sheridan -- Asynchronous Search for Numeric DisCSPs / Marius-Calin Silaghi, Stefan Sabau and Djamila Sam-Haroud / [et al.] -- Temporal Concurrent Constraint Programming / Frank D. Valencia.".
catalog description "Capturing Structure with Satisfiability / Ramon Bejar, Alba Cabiscol and Cesar Fernandez / [et al.] -- Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT / Weixiong Zhang -- Solving Non-binary CSPs Using the Hidden Variable Encoding / Nikos Mamoulis and Kostas Stergiou -- A Filtering Algorithm for the Stretch Constraint / Gilles Pesant -- Network Flow Problems in Constraint Programming / Alexander Bockmayr, Nicolai Pisaruk and Abderrahmane Aggoun -- Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family / Nicolas Beldiceanu -- A Constraint Programming Approach to the Stable Marriage Problem / Ian P. Gent, Robert W. Irving and David F. Manlove / [et al.] -- Components for State Restoration in Tree Search / Chiu Wo Choi, Martin Henz and Ka Boon Ng -- Adaptive Constraint Handling with CHR in Java / Armin Wolf -- Consistency Maintenance for ABT / Marius-Calin Silaghi, Djamila Sam-Haroud and Boi Faltings -- ".
catalog description "Constraint-Based Verification of Client-Server Protocols / Giorgio Delzanno and Tevfik Bultan -- A Temporal Concurrent Constraint Programming Calculus / Catuscia Palamidessi and Frank D. Valencia -- Lower Bounds for Non-binary Constraint Optimization Problems / Pedro Meseguer, Javier Larrosa and Marti Sanchez -- New Lower Bounds of Constraint Violations for Over-Constrained Problems / Jean-Charles Regin, Thierry Petit and Christian Bessiere / [et al.] -- A General Scheme for Multiple Lower Bound Computation in Constraint Optimization / Rina Dechter, Kalev Kask and Javier Larrosa -- Solving Disjunctive Constraints for Interactive Graphical Applications / Kim Marriott, Peter Moulder and Peter J. Stuckey / [et al.] -- Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint / Nicolas Beldiceanu and Mats Carlsson -- Non-overlapping Constraints between Convex Polytopes / Nicolas Beldiceanu, Qi Guo and Sven Thiel -- ".
catalog description "Formal Models of Heavy-Tailed Behavior in Combinatorial Search / Hubie Chen, Carla Gomes and Bart Selman -- The Phase Transition of the Linear Inequalities Problem / Alessandro Armando, Felice Peccia and Silvio Ranise -- In Search of a Phase Transition in the AC-Matching Problem / Phokion G. Kolaitis and Thomas Raffill -- Specific Filtering Algorithms for Over-Constrained Problems / Thierry Petit, Jean-Charles Regin and Christian Bessiere -- Specializing Russian Doll Search / Pedro Meseguer and Marti Sanchez -- A CLP Approach to the Protein Side-Chain Placement Problem / Martin T. Swain and Graham J. L. Kemp -- Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores / Rolf Backofen and Sebastian Will -- One Flip per Clock Cycle / Martin Henz, Edgar Tan and Roland Yap -- Solving Constraints over Floating-Point Numbers / Claude Michel, Michel Rueher and Yahia Lebbah -- ".
catalog description "Generating Tradeoffs for Interactive Constraint-Based Configuration / Eugene C. Freuder and Barry O'Sullivan -- Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells / Rafael M. Gasca, Juan A. Ortega and Miguel Toro -- Composition Operators for Constraint Propagation: An Application to Choco / Laurent Granvilliers and Eric Monfroy -- Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination / Edward A. Hirsch and Arist Kojevnikov -- GAC on Conjunctions of Constraints / George Katsirelos and Fahiem Bacchus -- Dual Models of Permutation Problems / Barbara M. Smith -- Boosting Local Search with Artificial Ants / Christine Solnon -- Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies / Peter van Beek and Kent Wilken -- Evaluation of Search Heuristics for Embedded System Scheduling Problems / Cecilia Ekelin and Jan Jonsson -- ".
catalog description "Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin and Mark Wallace -- Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur S. Thorsteinsson -- Towards Inductive Constraint Solving / Slim Abdennadher and Christophe Rigotti -- Collaborative Learning for Constraint Solving / Susan L. Epstein and Eugene C. Freuder -- Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines / Thierry Benoist, Eric Bourreau and Yves Caseau / [et al.] -- Global Cut Framework for Removing Symmetries / Filippo Focacci and Michaela Milano -- Symmetry Breaking / Torsten Fahle, Stefan Schamberger and Meinolf Sellmann -- The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10 / Olivier Dubois and Gilles Dequen -- Random 3-SAT and BDDs: The Plot Thickens Further / Alfonso San Miguel Aguirre and Moshe Y. Vardi -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching / Markus P. J. Fromherz and James V. Mahoney -- Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View / Gerard Verfaillie and Michel Lemaitre -- A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation / Pragnesh Jay Modi, Hyuckchul Jung and Milind Tambe / [et al.] -- A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture / Juliette Mattioli, Nicolas Museux and J. Jourdan / [et al.] -- iOpt: A Software Toolkit for Heuristic Search Methods / Christos Voudouris, Raphael Dorne and David Lesaint / [et al.] -- AbsCon: A Prototype to Solve CSPs with Abstraction / Sylvain Merchez, Christophe Lecoutre and Frederic Boussemart -- A Constraint Engine for Manufacturing Process Planning / Jozsef Vancza and Andras Markus -- ".
catalog description "On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems / Amy M. Beckwith and Berthe Y. Choueiry -- Automatic Generation of Implied Clauses for SAT / Lyndon Drake -- Verification of Infinite-State Systems by Specialization of CLP Programs / Fabio Fioravanti -- Partially Ordered Constraint Optimization Problems / Marco Gavanelli -- Translations for Comparing Soft Frameworks / Rosella Gennari -- Counting Satisfiable k-CNF Formulas / Mitchell A. Harris -- High-Level Modelling and Reformulation of Constraint Satisfaction Problems / Brahim Hnich -- Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation / Hyuckchul Jung -- Aircraft Assignment Using Constraint Programming / Erik Kilborn -- Labelling Heuristics for CSP Application Domains / Zeynep Kiziltan -- Improving SAT Algorithms by Using Search Pruning Techniques / Ines Lynce and Joao Marques-Silva -- ".
catalog description "Optimal Pruning in Parametric Differential Equations / Micha Janssen, Pascal Van Hentenryck and Yves Deville -- Interaction of Constraint Programming and Local Search for Optimisation Problems / Francisco Azevedo and Pedro Barahona -- Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency / Hachemi Bennaceur and Mohamed-Salah Affane -- Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem / Christian Bessiere, Assef Chmeiss and Lakhdar Sais -- The Expressive Power of Binary Linear Programming / Marco Cadoli -- Constraint Generation via Automated Theory Formation / Simon Colton and Ian Miguel -- The Traveling Tournament Problem Description and Benchmarks / Kelly Easton, George Nemhauser and Michael Trick -- Deriving Explanations and Implications for Constraint Satisfaction Problems / Eugene C. Freuder, Chavalit Likitvivatanavong and Richard J. Wallace -- ".
catalog description "Optimum Symmetry Breaking in CSPs Using Group Theory / Iain McDonald -- Distributed Dynamic Backtracking / Christian Bessiere, Arnold Maestre and Pedro Meseguer -- Constraint Programming for Distributed Resource Allocation / Pragnesh Jay Modi -- Exploiting the CSP Structure by Interchangeability / Nicoleta Neagu -- Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems / Andrea Panati -- Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers / Georg Ringwelski -- Building Negative Reduced Cost Paths Using Constraint Programming / Louis-Martin Rousseau, Gilles Pesant and Michel Gendreau.".
catalog extent "xiv, 788 p. :".
catalog identifier "3540428631 (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2239".
catalog issued "2001".
catalog issued "2001.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.1/1 21".
catalog subject "Constraint programming (Computer science) Congresses.".
catalog subject "QA76.612 .C7 2001".
catalog tableOfContents "An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm / Miguel A. Salido and Federico Barber -- Partial Stable Generated Models of Generalized Logic Programs with Constraints / Sibylle Schwarz -- Heterogeneous Constraint Problems (An Outline of the Field of Work) / Frank Seelisch -- Comparing SAT Encodings for Model Checking / Daniel Sheridan -- Asynchronous Search for Numeric DisCSPs / Marius-Calin Silaghi, Stefan Sabau and Djamila Sam-Haroud / [et al.] -- Temporal Concurrent Constraint Programming / Frank D. Valencia.".
catalog tableOfContents "Capturing Structure with Satisfiability / Ramon Bejar, Alba Cabiscol and Cesar Fernandez / [et al.] -- Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT / Weixiong Zhang -- Solving Non-binary CSPs Using the Hidden Variable Encoding / Nikos Mamoulis and Kostas Stergiou -- A Filtering Algorithm for the Stretch Constraint / Gilles Pesant -- Network Flow Problems in Constraint Programming / Alexander Bockmayr, Nicolai Pisaruk and Abderrahmane Aggoun -- Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family / Nicolas Beldiceanu -- A Constraint Programming Approach to the Stable Marriage Problem / Ian P. Gent, Robert W. Irving and David F. Manlove / [et al.] -- Components for State Restoration in Tree Search / Chiu Wo Choi, Martin Henz and Ka Boon Ng -- Adaptive Constraint Handling with CHR in Java / Armin Wolf -- Consistency Maintenance for ABT / Marius-Calin Silaghi, Djamila Sam-Haroud and Boi Faltings -- ".
catalog tableOfContents "Constraint-Based Verification of Client-Server Protocols / Giorgio Delzanno and Tevfik Bultan -- A Temporal Concurrent Constraint Programming Calculus / Catuscia Palamidessi and Frank D. Valencia -- Lower Bounds for Non-binary Constraint Optimization Problems / Pedro Meseguer, Javier Larrosa and Marti Sanchez -- New Lower Bounds of Constraint Violations for Over-Constrained Problems / Jean-Charles Regin, Thierry Petit and Christian Bessiere / [et al.] -- A General Scheme for Multiple Lower Bound Computation in Constraint Optimization / Rina Dechter, Kalev Kask and Javier Larrosa -- Solving Disjunctive Constraints for Interactive Graphical Applications / Kim Marriott, Peter Moulder and Peter J. Stuckey / [et al.] -- Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint / Nicolas Beldiceanu and Mats Carlsson -- Non-overlapping Constraints between Convex Polytopes / Nicolas Beldiceanu, Qi Guo and Sven Thiel -- ".
catalog tableOfContents "Formal Models of Heavy-Tailed Behavior in Combinatorial Search / Hubie Chen, Carla Gomes and Bart Selman -- The Phase Transition of the Linear Inequalities Problem / Alessandro Armando, Felice Peccia and Silvio Ranise -- In Search of a Phase Transition in the AC-Matching Problem / Phokion G. Kolaitis and Thomas Raffill -- Specific Filtering Algorithms for Over-Constrained Problems / Thierry Petit, Jean-Charles Regin and Christian Bessiere -- Specializing Russian Doll Search / Pedro Meseguer and Marti Sanchez -- A CLP Approach to the Protein Side-Chain Placement Problem / Martin T. Swain and Graham J. L. Kemp -- Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores / Rolf Backofen and Sebastian Will -- One Flip per Clock Cycle / Martin Henz, Edgar Tan and Roland Yap -- Solving Constraints over Floating-Point Numbers / Claude Michel, Michel Rueher and Yahia Lebbah -- ".
catalog tableOfContents "Generating Tradeoffs for Interactive Constraint-Based Configuration / Eugene C. Freuder and Barry O'Sullivan -- Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells / Rafael M. Gasca, Juan A. Ortega and Miguel Toro -- Composition Operators for Constraint Propagation: An Application to Choco / Laurent Granvilliers and Eric Monfroy -- Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination / Edward A. Hirsch and Arist Kojevnikov -- GAC on Conjunctions of Constraints / George Katsirelos and Fahiem Bacchus -- Dual Models of Permutation Problems / Barbara M. Smith -- Boosting Local Search with Artificial Ants / Christine Solnon -- Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies / Peter van Beek and Kent Wilken -- Evaluation of Search Heuristics for Embedded System Scheduling Problems / Cecilia Ekelin and Jan Jonsson -- ".
catalog tableOfContents "Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin and Mark Wallace -- Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur S. Thorsteinsson -- Towards Inductive Constraint Solving / Slim Abdennadher and Christophe Rigotti -- Collaborative Learning for Constraint Solving / Susan L. Epstein and Eugene C. Freuder -- Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines / Thierry Benoist, Eric Bourreau and Yves Caseau / [et al.] -- Global Cut Framework for Removing Symmetries / Filippo Focacci and Michaela Milano -- Symmetry Breaking / Torsten Fahle, Stefan Schamberger and Meinolf Sellmann -- The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10 / Olivier Dubois and Gilles Dequen -- Random 3-SAT and BDDs: The Plot Thickens Further / Alfonso San Miguel Aguirre and Moshe Y. Vardi -- ".
catalog tableOfContents "Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching / Markus P. J. Fromherz and James V. Mahoney -- Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View / Gerard Verfaillie and Michel Lemaitre -- A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation / Pragnesh Jay Modi, Hyuckchul Jung and Milind Tambe / [et al.] -- A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture / Juliette Mattioli, Nicolas Museux and J. Jourdan / [et al.] -- iOpt: A Software Toolkit for Heuristic Search Methods / Christos Voudouris, Raphael Dorne and David Lesaint / [et al.] -- AbsCon: A Prototype to Solve CSPs with Abstraction / Sylvain Merchez, Christophe Lecoutre and Frederic Boussemart -- A Constraint Engine for Manufacturing Process Planning / Jozsef Vancza and Andras Markus -- ".
catalog tableOfContents "On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems / Amy M. Beckwith and Berthe Y. Choueiry -- Automatic Generation of Implied Clauses for SAT / Lyndon Drake -- Verification of Infinite-State Systems by Specialization of CLP Programs / Fabio Fioravanti -- Partially Ordered Constraint Optimization Problems / Marco Gavanelli -- Translations for Comparing Soft Frameworks / Rosella Gennari -- Counting Satisfiable k-CNF Formulas / Mitchell A. Harris -- High-Level Modelling and Reformulation of Constraint Satisfaction Problems / Brahim Hnich -- Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation / Hyuckchul Jung -- Aircraft Assignment Using Constraint Programming / Erik Kilborn -- Labelling Heuristics for CSP Application Domains / Zeynep Kiziltan -- Improving SAT Algorithms by Using Search Pruning Techniques / Ines Lynce and Joao Marques-Silva -- ".
catalog tableOfContents "Optimal Pruning in Parametric Differential Equations / Micha Janssen, Pascal Van Hentenryck and Yves Deville -- Interaction of Constraint Programming and Local Search for Optimisation Problems / Francisco Azevedo and Pedro Barahona -- Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency / Hachemi Bennaceur and Mohamed-Salah Affane -- Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem / Christian Bessiere, Assef Chmeiss and Lakhdar Sais -- The Expressive Power of Binary Linear Programming / Marco Cadoli -- Constraint Generation via Automated Theory Formation / Simon Colton and Ian Miguel -- The Traveling Tournament Problem Description and Benchmarks / Kelly Easton, George Nemhauser and Michael Trick -- Deriving Explanations and Implications for Constraint Satisfaction Problems / Eugene C. Freuder, Chavalit Likitvivatanavong and Richard J. Wallace -- ".
catalog tableOfContents "Optimum Symmetry Breaking in CSPs Using Group Theory / Iain McDonald -- Distributed Dynamic Backtracking / Christian Bessiere, Arnold Maestre and Pedro Meseguer -- Constraint Programming for Distributed Resource Allocation / Pragnesh Jay Modi -- Exploiting the CSP Structure by Interchangeability / Nicoleta Neagu -- Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems / Andrea Panati -- Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers / Georg Ringwelski -- Building Negative Reduced Cost Paths Using Constraint Programming / Louis-Martin Rousseau, Gilles Pesant and Michel Gendreau.".
catalog title "Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Toby Walsh (ed.).".
catalog type "Conference proceedings. fast".
catalog type "text".