Peter J. Stuckey - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given OneIgnasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey. sat 2011: 273-286 [doi]

CP and IP approaches to cancer radiotherapy delivery optimizationDavaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey. constraints, 16(2):173-194, 2011. [doi]

Symmetries and Lazy Clause GenerationGeoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears. IJCAI 2011: 516-521 [doi]

Solving Talent Scheduling with Dynamic ProgrammingMaria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu. informs, 23(1):120-137, 2011. [doi]

MDD propagators with explanationGraeme Gange, Peter J. Stuckey, Radoslaw Szymanek. constraints, 16(4):407-429, 2011. [doi]

Piecewise linear approximation of protein structures using the principle of minimum message lengthArun Siddharth Konagurthu, Lloyd Allison, Peter J. Stuckey, Arthur M. Lesk. bioinformatics, 27(13):43-51, 2011. [doi]

Constraints in Non-Boolean ContextsLeslie De Koninck, Sebastian Brand, Peter J. Stuckey. ICLP 2011: 117-127 [doi]

Dantzig-Wolfe decomposition and branch-and-price solving in G12Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand. constraints, 16(1):77-99, 2011. [doi]

Explaining the cumulative propagatorAndreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace. constraints, 16(3):250-282, 2011. [doi]

Memoizing a Monadic Mixin DSLPieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey. wflp 2011: 68-85 [doi]

2010

Rapid Learning for Binary ProgramsTimo Berthold, Thibaut Feydy, Peter J. Stuckey. cpaior 2010: 51-55 [doi]

Automatically Exploiting Subproblem Equivalence in Constraint ProgrammingGeoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey. cpaior 2010: 71-86 [doi]

Improved consensus clustering via linear programmingNicholas Downing, Peter J. Stuckey, Anthony Wirth. acsc 2009: 61-70 [doi]

MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancerRaj K. Gaire, James Bailey, Jennifer Bearfoot, Ian G. Campbell, Peter J. Stuckey, Izhak Haviv. bioinformatics, 26(2):161-167, 2010. [doi]

Fast Set Bounds Propagation Using a BDD-SAT HybridGraeme Gange, Peter J. Stuckey, Vitaly Lagoon. jair, 38:307-338, 2010. [doi]

Optimal ::::k::::-Level Planarization and Crossing MinimizationGraeme Gange, Peter J. Stuckey, Kim Marriott. gd 2011: 238-249 [doi]

Incremental Satisfiability and Implication for UTVPI ConstraintsAndreas Schutt, Peter J. Stuckey. informs, 22(4):514-527, 2010. [doi]

Fast and accurate protein substructure searching with simulated annealing and GPUsAlex Stivala, Peter J. Stuckey, Anthony Wirth. bmcbi, 11:446, 2010. [doi]

Lock-free parallel dynamic programmingAlex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth. jpdc, 70(8):839-848, 2010. [doi]

Philosophy of the MiniZinc challengePeter J. Stuckey, Ralph Becket, Julien Fischer. constraints, 15(3):307-316, 2010. [doi]

2009

Using Relaxations in Maximum Density Still LifeGeoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda. cp 2009: 258-273 [doi]

Minimizing the Maximum Number of Open Stacks by Customer SearchGeoffrey Chu, Peter J. Stuckey. cp 2009: 242-257 [doi]

Confidence-Based Work Stealing in Parallel Constraint ProgrammingGeoffrey Chu, Christian Schulte, Peter J. Stuckey. cp 2009: 226-241 [doi]

Cache Conscious Data Structures for Boolean Satisfiability SolversGeoffrey Chu, Aaron Harwood, Peter J. Stuckey. jsat, 6(1-3):99-120, 2009. [doi]

A declarative encoding of telecommunications feature subscription in SATMichael Codish, Samir Genaim, Peter J. Stuckey. ppdp 2009: 255-266 [doi]

Lazy Clause Generation ReengineeredThibaut Feydy, Peter J. Stuckey. cp 2009: 352-366 [doi]

Propagating systems of dense linear integer constraintsThibaut Feydy, Peter J. Stuckey. constraints, 14(2):235-253, 2009. [doi]

The Proper Treatment of Undefinedness in Constraint LanguagesAlan M. Frisch, Peter J. Stuckey. cp 2009: 367-382 [doi]

Demand-Driven Normalisation for ACD Term RewritingLeslie De Koninck, Gregory J. Duck, Peter J. Stuckey. ICLP 2009: 484-488 [doi]

Propagation via lazy clause generationOlga Ohrimenko, Peter J. Stuckey, Michael Codish. constraints, 14(3):357-391, 2009. [doi]

Maintaining State in Propagation SolversRaphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack. cp 2009: 692-706 [doi]

Monadic constraint programmingTom Schrijvers, Peter J. Stuckey, Philip Wadler. JFP, 19(6):663-697, 2009. [doi]

Erratum to Efficient constraint propagation engines Christian Schulte, Peter J. Stuckey. TOPLAS, 31(2), 2009. [doi]

Why Cumulative Decomposition Is Not as Bad as It SoundsAndreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace. cp 2009: 746-761 [doi]

Tableau-based protein substructure search using quadratic programmingAlex Stivala, Anthony Wirth, Peter J. Stuckey. bmcbi, 10, 2009. [doi]

Orthogonal Connector RoutingMichael Wybrow, Kim Marriott, Peter J. Stuckey. gd 2010: 219-231 [doi]

2008

New integer linear programming approaches for course timetablingNatashia Boland, Barry D. Hughes, Liam T. G. Merlot, Peter J. Stuckey. cor, 35(7):2209-2233, 2008. [doi]

Flexible, Rule-Based Constraint Model LinearisationSebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey. padl 2008: 68-83 [doi]

Logic programming with satisfiabilityMichael Codish, Vitaly Lagoon, Peter J. Stuckey. tplp, 8(1):121-128, 2008. [doi]

Telecommunications Feature Subscription as a Partial Order Constraint ProblemMichael Codish, Vitaly Lagoon, Peter J. Stuckey. ICLP 2008: 749-753 [doi]

Solving Partial Order Constraints for LPO TerminationMichael Codish, Vitaly Lagoon, Peter J. Stuckey. jsat, 5(1-4):193-215, 2008. [doi]

Cadmium: An Implementation of ACD Term RewritingGregory J. Duck, Leslie De Koninck, Peter J. Stuckey. ICLP 2008: 531-545 [doi]

Exploration of Networks using overview+detail with Constraint-based cooperative layoutTim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow. tvcg, 14(6):1293-1300, 2008. [doi]

Global difference constraint propagation for finite domain solversThibaut Feydy, Andreas Schutt, Peter J. Stuckey. ppdp 2008: 226-235 [doi]

Fast Set Bounds Propagation using BDDsGraeme Gange, Vitaly Lagoon, Peter J. Stuckey. ecai 2008: 505-509 [doi]

Smooth Linear Approximation of Non-overlap ConstraintsGraeme Gange, Kim Marriott, Peter J. Stuckey. diagrams 2008: 45-59 [doi]

The Core Concept for 0/1 Integer ProgrammingSamuel Huston, Jakob Puchinger, Peter J. Stuckey. cats 2008: 39-47 [doi]

Structural search and retrieval using a tableau representation of protein folding patternsArun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk. bioinformatics, 24(5):645-651, 2008. [doi]

Optimizing Compilation of CHR with Rule PrioritiesLeslie De Koninck, Peter J. Stuckey, Gregory J. Duck. FLOPS 2008: 32-47 [doi]

The Design of the Zinc Modelling LanguageKim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace. constraints, 13(3):229-267, 2008. [doi]

Modelling for Lazy Clause GenerationOlga Ohrimenko, Peter J. Stuckey. cats 2008: 27-37 [doi]

From High-Level Model to Branch-and-Price Solution in G12Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand. cpaior 2008: 218-232 [doi]

Automating branch-and-bound for dynamic programsJakob Puchinger, Peter J. Stuckey. PEPM 2008: 81-89 [doi]

Dynamic variable elimination during propagation solvingChristian Schulte, Peter J. Stuckey. ppdp 2008: 247-257 [doi]

Efficient constraint propagation enginesChristian Schulte, Peter J. Stuckey. TOPLAS, 31(1), 2008. [doi]

Dynamic Analysis of Bounds Versus Domain PropagationChristian Schulte, Peter J. Stuckey. ICLP 2008: 332-346 [doi]

Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. ProceedingsPeter J. Stuckey, editor, Volume 5202 of Lecture Notes in Computer Science, Springer, 2008.

::::Constraint Logic Programming using ECLiPSe:::: Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pagesPeter J. Stuckey. tplp, 8(2):242-246, 2008. [doi]

HM(X) type inference is CLP(X) solvingMartin Sulzmann, Peter J. Stuckey. JFP, 18(2):251-283, 2008. [doi]

Comparing usability of one-way and multi-way constraints for diagram editingMichael Wybrow, Kim Marriott, Linda Mciver, Peter J. Stuckey. TOCHI, 14(4), 2008. [doi]

2007

Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP ApproachesDavaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey. cpaior 2007: 1-15 [doi]

Encodings of the Sequence ConstraintSebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh. cp 2007: 210-224 [doi]

Removing propagation redundant constraints in redundant modelingChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey. tocl, 8(4), 2007. [doi]

Dynamic Programming to Minimize the Maximum Number of Open StacksMaria Garcia de la Banda, Peter J. Stuckey. informs, 19(4):607-617, 2007. [doi]

Observable Confluence for Constraint Handling RulesGregory J. Duck, Peter J. Stuckey, Martin Sulzmann. ICLP 2007: 224-239 [doi]

The island confinement method for reducing search space in local search methodsHai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey. heuristics, 13(6):557-585, 2007. [doi]

Propagating dense systems of integer linear equationsThibaut Feydy, Peter J. Stuckey. SAC 2007: 306-310 [doi]

Constraint propagation for loose constraint graphsKathryn Francis, Peter J. Stuckey. SAC 2007: 334-335 [doi]

MiniZinc: Towards a Standard CP Modelling LanguageNicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack. cp 2007: 529-543 [doi]

Propagation = Lazy Clause GenerationOlga Ohrimenko, Peter J. Stuckey, Michael Codish. cp 2007: 544-558 [doi]

Practical Preference Relations for Large Data SetsKenneth A. Ross, Peter J. Stuckey, Amélie Marian. icde 2007: 229-236 [doi]

Understanding functional dependencies via constraint handling rulesMartin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey. JFP, 17(1):83-129, 2007. [doi]

2006

Adding Constraint Solving to MercuryRalph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace. padl 2006: 118-133 [doi]

Finite Domain Bounds Consistency RevisitedChiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey. ausai 2006: 49-58 [doi]

Solving Partial Order Constraints for LPO TerminationMichael Codish, Vitaly Lagoon, Peter J. Stuckey. RTA 2006: 4-18 [doi]

Size-Change Termination Analysis in ::::k::::-BitsMichael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey. ESOP 2006: 230-245 [doi]

ACD Term RewritingGregory J. Duck, Peter J. Stuckey, Sebastian Brand. ICLP 2006: 117-131 [doi]

Fast Node Overlap Removal - CorrectionTim Dwyer, Kim Marriott, Peter J. Stuckey. gd 2007: 446-447 [doi]

A Hybrid BDD and SAT Finite Domain Constraint SolverPeter Hawkins, Peter J. Stuckey. padl 2006: 103-117 [doi]

Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman BoundsArun Siddharth Konagurthu, Peter J. Stuckey. jcb, 13(3):668-685, 2006. [doi]

A Stochastic Non-CNF SAT SolverRafiq Muhammad, Peter J. Stuckey. pricai 2006: 120-129 [doi]

Improving PARMA trailingTom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey. tplp, 6(6):609-644, 2006. [doi]

Automatic Implication Checking for CHR ConstraintsTom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth. ENTCS, 147(1):93-111, 2006. [doi]

Type Processing by Constraint ReasoningPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny. aplas 2006: 1-25 [doi]

Principal Type Inference for GHC-Style Multi-parameter Type ClassesMartin Sulzmann, Tom Schrijvers, Peter J. Stuckey. aplas 2006: 26-43 [doi]

A Framework for Extended Algebraic Data TypesMartin Sulzmann, Jeremy Wazny, Peter J. Stuckey. FLOPS 2006: 47-64 [doi]

2005

Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set DualizationJames Bailey, Peter J. Stuckey. padl 2005: 174-186 [doi]

Testing for Termination with Monotonicity ConstraintsMichael Codish, Vitaly Lagoon, Peter J. Stuckey. ICLP 2005: 326-340 [doi]

Checking modes of HAL progamsMaria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen. tplp, 5(6):623-668, 2005. [doi]

Fast Node Overlap RemovalTim Dwyer, Kim Marriott, Peter J. Stuckey. gd 2006: 153-164 [doi]

Solving Set Constraint Satisfaction Problems using ROBDDsPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey. jair, 24:109-156, 2005. [doi]

Optimizing compilation of constraint handling rules in HALChristian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck. tplp, 5(4-5):503-531, 2005. [doi]

Abstract interpretation for constraint handling rulesTom Schrijvers, Peter J. Stuckey, Gregory J. Duck. ppdp 2005: 218-229 [doi]

When do bounds and domain propagation lead to the same search space?Christian Schulte, Peter J. Stuckey. TOPLAS, 27(3):388-425, 2005. [doi]

The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. ICLP 2005: 9-13 [doi]

The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. cp 2005: 13-16 [doi]

A theory of overloadingPeter J. Stuckey, Martin Sulzmann. TOPLAS, 27(6):1216-1269, 2005. [doi]

Incremental Connector RoutingMichael Wybrow, Kim Marriott, Peter J. Stuckey. gd 2006: 446-457 [doi]

2004

Set Domain Propagation Using ROBDDsVitaly Lagoon, Peter J. Stuckey. cp 2004: 347-361 [doi]

Towards Flexible Graphical Communication Using Adaptive DiagramsKim Marriott, Bernd Meyer, Peter J. Stuckey. asian 2004: 380-394 [doi]

PreviousNext