Probabilistically Estimating Backbones and Variable Bias: Experimental Overview (English)
- New search for: Hsu, Eric I.
- New search for: Muise, Christian J.
- New search for: Beck, J. Christopher
- New search for: McIlraith, Sheila A.
- New search for: Hsu, Eric I.
- New search for: Muise, Christian J.
- New search for: Beck, J. Christopher
- New search for: McIlraith, Sheila A.
In:
Principles and Practice of Constraint Programming
4
;
613-617
;
2008
- Article/Chapter (Book) / Electronic Resource
-
Title:Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
-
Contributors:Hsu, Eric I. ( author ) / Muise, Christian J. ( author ) / Beck, J. Christopher ( author ) / McIlraith, Sheila A. ( author )
-
Published in:Principles and Practice of Constraint Programming , 4 ; 613-617Lecture Notes in Computer Science ; 5202, 4 ; 613-617
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2008-01-01
-
Size:5 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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, Alain et al. | 2008
- 2
-
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband EngineBenini, Luca / Lombardi, Michele / Milano, Michela / Ruggiero, Martino et al. | 2008
- 3
-
Planning and Scheduling the Operation of a Very Large Oil Pipeline NetworkMoura, Arnaldo V. / de Souza, Cid C. / Cire, Andre A. / Lopes, Tony M. T. et al. | 2008
- 4
-
Search Strategies for Rectangle PackingSimonis, Helmut / O’Sullivan, Barry et al. | 2008
- 5
-
Solving a Telecommunications Feature Subscription Configuration ProblemLesaint, David / Mehta, Deepak / O’Sullivan, Barry / Quesada, Luis / Wilson, Nic et al. | 2008
- 82
-
Protein Structure Prediction with Large Neighborhood Constraint Programming SearchDotu, Ivan / Cebrián, Manuel / Hentenryck, Pascal / Clote, Peter et al. | 2008
- 7
-
An Application of Constraint Programming to Superblock Instruction SchedulingMalik, Abid M. / Chase, Michael / Russell, Tyrel / van Beek, Peter et al. | 2008
- 8
-
Classes of Submodular Constraints Expressible by Graph CutsŽivný, Stanislav / Jeavons, Peter G. et al. | 2008
- 128
-
Optimization of Simple Tabular Reduction for Table ConstraintsLecoutre, Christophe et al. | 2008
- 144
-
Universal Booleanization of Constraint ModelsHuang, Jinbo et al. | 2008
- 11
-
Flow-Based Propagators for the SEQUENCE and Related Global ConstraintsMaher, Michael / Narodytska, Nina / Quimper, Claude-Guy / Walsh, Toby et al. | 2008
- 12
-
Guiding Search in QCSP + with Back-PropagationVerger, Guillaume / Bessiere, Christian et al. | 2008
- 190
-
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of SolutionsGoldsztejn, Alexandre / Granvilliers, Laurent et al. | 2008
- 205
-
A Branch and Bound Algorithm for Numerical MAX-CSPNormand, Jean-Marie / Goldsztejn, Alexandre / Christie, Marc / Benhamou, Frédéric et al. | 2008
- 15
-
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business RulesCarlsson, Mats / Beldiceanu, Nicolas / Martin, Julien et al. | 2008
- 16
-
Cost-Based Domain Filtering for Stochastic Constraint ProgrammingRossi, Roberto / Tarim, S. Armagan / Hnich, Brahim / Prestwich, Steven et al. | 2008
- 251
-
Dichotomic Search Protocols for Constrained OptimizationSellmann, Meinolf / Kadioglu, Serdar et al. | 2008
- 266
-
Length-Lex Bounds Consistency for Knapsack ConstraintsMalitsky, Yuri / Sellmann, Meinolf / Hoeve, Willem-Jan et al. | 2008
- 19
-
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction ProblemsKumar, T. K. Satish et al. | 2008
- 20
-
From High Girth Graphs to Hard InstancesAnsótegui, Carlos / Béjar, Ramón / Fernàndez, César / Mateu, Carles et al. | 2008
- 21
-
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SATWei, Wanxia / Li, Chu Min / Zhang, Harry et al. | 2008
- 327
-
CPBPV: A Constraint-Programming Framework for Bounded Program VerificationCollavizza, Hélène / Rueher, Michel / Hentenryck, Pascal et al. | 2008
- 342
-
Exploiting Common Subexpressions in Numerical CSPsAraya, Ignacio / Neveu, Bertrand / Trombettoni, Gilles et al. | 2008
- 24
-
A Soft Constraint of Equality: Complexity and ApproximabilityHebrard, Emmanuel / O’Sullivan, Barry / Razgon, Igor et al. | 2008
- 25
-
Structural Tractability of Propagated ConstraintsGreen, Martin J. / Jefferson, Christopher et al. | 2008
- 26
-
Connecting ABT with Arc ConsistencyBrito, Ismel / Meseguer, Pedro et al. | 2008
- 27
-
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental StudiesGelain, Mirco / Pini, Maria Silvia / Rossi, Francesca / Venable, K. Brent / Walsh, Toby et al. | 2008
- 28
-
Reformulating Positive Table Constraints Using Functional DependenciesCambazard, Hadrien / O’Sullivan, Barry et al. | 2008
- 29
-
Relaxations for Compiled Over-Constrained ProblemsPapadopoulos, Alexandre / O’Sullivan, Barry et al. | 2008
- 448
-
Approximate Compilation of Constraints into Multivalued Decision DiagramsHadzic, Tarik / Hooker, John N. / O’Sullivan, Barry / Tiedemann, Peter et al. | 2008
- 463
-
Quantified Constraint OptimizationBenedetti, Marco / Lallouet, Arnaud / Vautard, Jérémie et al. | 2008
- 32
-
Exploiting Decomposition in Constraint Optimization ProblemsKitching, Matthew / Bacchus, Fahiem et al. | 2008
- 33
-
A Coinduction Rule for Entailment of Recursively Defined PropertiesJaffar, Joxan / Santosa, Andrew E. / Voicu, Răzvan et al. | 2008
- 509
-
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary ConstraintsCheng, Kenil C. K. / Yap, Roland H. C. et al. | 2008
- 524
-
Perfect Constraints Are TractableSalamon, András Z. / Jeavons, Peter G. et al. | 2008
- 36
-
Efficiently Solving Problems Where the Solutions Form a GroupPetrie, Karen E. / Jefferson, Christopher et al. | 2008
- 37
-
Approximate Solution Sampling (and Counting) on AND/OR SpacesGogate, Vibhav / Dechter, Rina et al. | 2008
- 539
-
Model Restarts for Structural Symmetry BreakingHeller, Daniel / Panda, Aurojit / Sellmann, Meinolf / Yip, Justin et al. | 2008
- 39
-
An Elimination Algorithm for Functional ConstraintsZhang, Yuanlin / Yap, Roland H. C. / Li, Chendong / Marisetti, Satyanarayana et al. | 2008
- 40
-
Crossword Puzzles as a Constraint ProblemAnbulagan / Botea, Adi et al. | 2008
- 41
-
Recent Hybrid Techniques for the Multi-Knapsack ProblemRodrigues, Carlos Diego / Michelon, Philippe / Campêlo, Manoel B. et al. | 2008
- 42
-
Edge Matching Puzzles as Hard SAT/CSP BenchmarksAnsótegui, Carlos / Béjar, Ramón / Fernàndez, César / Mateu, Carles et al. | 2008
- 43
-
Test Strategy Generation Using Quantified CSPsSachenbacher, Martin / Maier, Paul et al. | 2008
- 44
-
Perfect Derived PropagatorsSchulte, Christian / Tack, Guido et al. | 2008
- 45
-
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P ProblemsOtten, Lars / Dechter, Rina et al. | 2008
- 46
-
Transforming Inconsistent Subformulas in MaxSAT Lower Bound ComputationLi, Chu Min / Manyà, Felip / Mohamedou, Nouredine Ould / Planes, Jordi et al. | 2008
- 47
-
Semi-automatic Generation of CHR Solvers for Global ConstraintsRaiser, Frank et al. | 2008
- 593
-
Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial AuctionsBoughaci, Dalila / Benhamou, Belaid / Drias, Habiba et al. | 2008
- 49
-
Revisiting the Upper Bounding Process in a Safe Branch and Bound AlgorithmGoldsztejn, Alexandre / Lebbah, Yahia / Michel, Claude / Rueher, Michel et al. | 2008
- 50
-
Computing All Optimal Solutions in Satisfiability Problems with PreferencesDi Rosa, Emanuele / Giunchiglia, Enrico / Maratea, Marco et al. | 2008
- 51
-
On the Efficiency of Impact Based HeuristicsCorreia, Marco / Barahona, Pedro et al. | 2008
- 613
-
Probabilistically Estimating Backbones and Variable Bias: Experimental OverviewHsu, Eric I. / Muise, Christian J. / Beck, J. Christopher / McIlraith, Sheila A. et al. | 2008
- 53
-
A New Empirical Study of Weak BackdoorsGregory, Peter / Fox, Maria / Long, Derek et al. | 2008
- 54
-
Adding Search to ZincRafeh, Reza / Marriott, Kim / de la Banda, Maria Garcia / Nethercote, Nicholas / Wallace, Mark et al. | 2008
- 630
-
Experimenting with Small Changes in Conflict-Driven Clause Learning AlgorithmsAudemard, Gilles / Simon, Laurent et al. | 2008
- 635
-
Search Space Reduction for Constraint Optimization ProblemsCheng, Kenil C. K. / Yap, Roland H. C. et al. | 2008
- 640
-
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence ProblemHalim, Steven / Yap, Roland H. C. / Halim, Felix et al. | 2008