From High Girth Graphs to Hard Instances (English)
- New search for: Ansotegui, C.
- New search for: Bejar, R.
- New search for: Fernandez, C.
- New search for: Mateu, C.
- New search for: Ansotegui, C.
- New search for: Bejar, R.
- New search for: Fernandez, C.
- New search for: Mateu, C.
- New search for: Stuckey, Peter J.
In:
Principles and practice of constraint programming: 14th International conference, CP 2008
5202
;
298-312
;
2008
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:From High Girth Graphs to Hard Instances
-
Contributors:Ansotegui, C. ( author ) / Bejar, R. ( author ) / Fernandez, C. ( author ) / Mateu, C. ( author ) / Stuckey, Peter J.
-
Conference:Principles and practice of constraint programming: 14th International conference, CP 2008 ; 2008 ; Sydney, Australia
-
Published in:Principles and practice of constraint programming: 14th International conference, CP 2008 , 5202 ; 298-312LECTURE NOTES IN COMPUTER SCIENCE , 5202 ; 298-312
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2008-01-01
-
Size:15 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Back to the Complexity of Universal ProgramsColmerauer, A. et al. | 2008
- 21
-
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband EngineBenini, L. / Lombardi, M. / Milano, M. / Ruggiero, M. et al. | 2008
- 36
-
Planning and Scheduling the Operation of a Very Large Oil Pipeline NetworkMoura, A.V. / de Souza, C.C. / Cire, A.A. / Lopes, T.M.T. et al. | 2008
- 52
-
Search Strategies for Rectangle PackingSimonis, H. / O Sullivan, B. et al. | 2008
- 67
-
Solving a Telecommunications Feature Subscription Configuration ProblemLesaint, D. / Mehta, D. / O Sullivan, B. / Quesada, L. / Wilson, N. et al. | 2008
- 82
-
Protein Structure Prediction with Large Neighborhood Constraint Programming SearchDotu, I. / Cebrian, M. / Van Hentenryck, P. / Clote, P. et al. | 2008
- 97
-
An Application of Constraint Programming to Superblock Instruction SchedulingMalik, A.M. / Chase, M. / Russell, T. / van Beek, P. et al. | 2008
- 112
-
Classes of Submodular Constraints Expressible by Graph CutsZivny, S. / Jeavons, P.G. et al. | 2008
- 128
-
Optimization of Simple Tabular Reduction for Table ConstraintsLecoutre, C. et al. | 2008
- 144
-
Universal Booleanization of Constraint ModelsHuang, J. et al. | 2008
- 159
-
Flow-Based Propagators for the SEQUENCE and Related Global ConstraintsMaher, M. / Narodytska, N. / Quimper, C.-G. / Walsh, T. et al. | 2008
- 175
-
Guiding Search in QCSP^+ with Back-PropagationVerger, G. / Bessiere, C. et al. | 2008
- 190
-
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of SolutionsGoldsztejn, A. / Granvilliers, L. et al. | 2008
- 205
-
A Branch and Bound Algorithm for Numerical MAX-CSPNormand, J.-M. / Goldsztejn, A. / Christie, M. / Benhamou, F. et al. | 2008
- 220
-
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business RulesCarlsson, M. / Beldiceanu, N. / Martin, J. et al. | 2008
- 235
-
Cost-Based Domain Filtering for Stochastic Constraint ProgrammingRossi, R. / Tarim, S.A. / Hnich, B. / Prestwich, S. et al. | 2008
- 251
-
Dichotomic Search Protocols for Constrained OptimizationSellmann, M. / Kadioglu, S. et al. | 2008
- 266
-
Length-Lex Bounds Consistency for Knapsack ConstraintsMalitsky, Y. / Sellmann, M. / van Hoeve, W.-J. et al. | 2008
- 282
-
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction ProblemsKumar, T.K.S. et al. | 2008
- 298
-
From High Girth Graphs to Hard InstancesAnsotegui, C. / Bejar, R. / Fernandez, C. / Mateu, C. et al. | 2008
- 313
-
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SATWei, W. / Li, C.M. / Zhang, H. et al. | 2008
- 327
-
CPBPV: A Constraint-Programming Framework for Bounded Program VerificationCollavizza, H. / Rueher, M. / Van Hentenryck, P. et al. | 2008
- 342
-
Exploiting Common Subexpressions in Numerical CSPsAraya, I. / Neveu, B. / Trombettoni, G. et al. | 2008
- 358
-
A Soft Constraint of Equality: Complexity and ApproximabilityHebrard, E. / O Sullivan, B. / Razgon, I. et al. | 2008
- 372
-
Structural Tractability of Propagated ConstraintsGreen, M.J. / Jefferson, C. et al. | 2008
- 387
-
Connecting ABT with Arc ConsistencyBrito, I. / Meseguer, P. et al. | 2008
- 402
-
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental StudiesGelain, M. / Pini, M.S. / Rossi, F. / Venable, K.B. / Walsh, T. et al. | 2008
- 418
-
Reformulating Positive Table Constraints Using Functional DependenciesCambazard, H. / O Sullivan, B. et al. | 2008
- 433
-
Relaxations for Compiled Over-Constrained ProblemsPapadopoulos, A. / O Sullivan, B. et al. | 2008
- 448
-
Approximate Compilation of Constraints into Multivalued Decision DiagramsHadzic, T. / Hooker, J.N. / O Sullivan, B. / Tiedemann, P. et al. | 2008
- 463
-
Quantified Constraint OptimizationBenedetti, M. / Lallouet, A. / Vautard, J. et al. | 2008
- 478
-
Exploiting Decomposition in Constraint Optimization ProblemsKitching, M. / Bacchus, F. et al. | 2008
- 493
-
A Coinduction Rule for Entailment of Recursively Defined PropertiesJaffar, J. / Santosa, A.E. / Voicu, R. et al. | 2008
- 509
-
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary ConstraintsCheng, K.C.K. / Yap, R.H.C. et al. | 2008
- 524
-
Perfect Constraints Are TractableSalamon, A.Z. / Jeavons, P.G. et al. | 2008
- 529
-
Efficiently Solving Problems Where the Solutions Form a GroupPetrie, K.E. / Jefferson, C. et al. | 2008
- 534
-
Approximate Solution Sampling (and Counting) on AND/OR SpacesGogate, V. / Dechter, R. et al. | 2008
- 539
-
Model Restarts for Structural Symmetry BreakingHeller, D. / Panda, A. / Sellmann, M. / Yip, J. et al. | 2008
- 545
-
An Elimination Algorithm for Functional ConstraintsZhang, Y. / Yap, R.H.C. / Li, C. / Marisetti, S. et al. | 2008
- 550
-
Crossword Puzzles as a Constraint ProblemAnbulagan / Botea, A. et al. | 2008
- 555
-
Recent Hybrid Techniques for the Multi-Knapsack ProblemRodrigues, C.D. / Michelon, P. / Campelo, M.B. et al. | 2008
- 560
-
Edge Matching Puzzles as Hard SAT/CSP BenchmarksAnsotegui, C. / Bejar, R. / Fernandez, C. / Mateu, C. et al. | 2008
- 566
-
Test Strategy Generation Using Quantified CSPsSachenbacher, M. / Maier, P. et al. | 2008
- 571
-
Perfect Derived PropagatorsSchulte, C. / Tack, G. et al. | 2008
- 576
-
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P ProblemsOtten, L. / Dechter, R. et al. | 2008
- 582
-
Transforming Inconsistent Subformulas in MaxSAT Lower Bound ComputationLi, C.M. / Manya, F. / Mohamedou, N.O. / Planes, J. et al. | 2008
- 588
-
Semi-automatic Generation of CHR Solvers for Global ConstraintsRaiser, F. et al. | 2008
- 593
-
Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial AuctionsBoughaci, D. / Benhamou, B. / Drias, H. et al. | 2008
- 598
-
Revisiting the Upper Bounding Process in a Safe Branch and Bound AlgorithmGoldsztejn, A. / Lebbah, Y. / Michel, C. / Rueher, M. et al. | 2008
- 603
-
Computing All Optimal Solutions in Satisfiability Problems with PreferencesDi Rosa, E. / Giunchiglia, E. / Maratea, M. et al. | 2008
- 608
-
On the Efficiency of Impact Based HeuristicsCorreia, M. / Barahona, P. et al. | 2008
- 613
-
Probabilistically Estimating Backbones and Variable Bias: Experimental OverviewHsu, E.I. / Muise, C.J. / Beck, J.C. / McIlraith, S.A. et al. | 2008
- 618
-
A New Empirical Study of Weak BackdoorsGregory, P. / Fox, M. / Long, D. et al. | 2008
- 624
-
Adding Search to ZincRafeh, R. / Marriott, K. / de la Banda, M.G. / Nethercote, N. / Wallace, M. et al. | 2008
- 630
-
Experimenting with Small Changes in Conflict-Driven Clause Learning AlgorithmsAudemard, G. / Simon, L. et al. | 2008
- 635
-
Search Space Reduction for Constraint Optimization ProblemsCheng, K.C.K. / Yap, R.H.C. et al. | 2008
- 640
-
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence ProblemHalim, S. / Yap, R.H.C. / Halim, F. et al. | 2008