| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
Exploiting subproblem dominance in constraint programming.  |
Constraints  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey |
A complete solution to the Maximum Density Still Life Problem. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
A General Implementation Framework for Tabled CLP. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace |
Maximising the Net Present Value for Resource-Constrained Project Scheduling. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Peter J. Stuckey |
Explaining Propagators for s-DNNF Circuits. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Downing, Thibaut Feydy, Peter J. Stuckey |
Explaining Flow-Based Propagation. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand |
Dantzig-Wolfe decomposition and branch-and-price solving in G12. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek |
MDD propagators with explanation. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace |
Explaining the cumulative propagator. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey |
CP and IP approaches to cancer radiotherapy delivery optimization. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Siddharth Konagurthu, Lloyd Allison, Peter J. Stuckey, Arthur M. Lesk |
Piecewise linear approximation of protein structures using the principle of minimum message length. |
Bioinformatics [ISMB/ECCB] |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Stivala, Michael Wybrow, Anthony Wirth, James C. Whisstock, Peter J. Stuckey |
Automatic generation of protein structure cartoons with Pro-origami. |
Bioinformatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Boolean Equi-propagation for Optimized SAT Encoding |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey |
Solving Set Constraint Satisfaction Problems using ROBDDs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu |
Solving Talent Scheduling with Dynamic Programming. |
INFORMS Journal on Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears |
Symmetries and Lazy Clause Generation. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey |
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Sebastian Brand, Peter J. Stuckey |
Constraints in Non-Boolean Contexts. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey |
Optimal automatic table layout. |
ACM Symposium on Document Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey |
Memoizing a Monadic Mixin DSL. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Boolean Equi-propagation for Optimized SAT Encoding. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Peter J. Stuckey, Andrew R. Verden |
Optimal Carpet Cutting. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
Half Reification and Flattening. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Stivala, Peter J. Stuckey, Anthony Wirth |
Fast and accurate protein substructure searching with simulated annealing and GPUs. |
BMC Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Ralph Becket, Julien Fischer |
Philosophy of the MiniZinc challenge. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey |
Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raj K. Gaire, James Bailey, Jennifer Bearfoot, Ian G. Campbell, Peter J. Stuckey, Izhak Haviv |
MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer. |
Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth |
Lock-free parallel dynamic programming. |
J. Parallel Distrib. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace |
Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Graeme Gange, Peter J. Stuckey, Vitaly Lagoon |
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Peter J. Stuckey |
Incremental Satisfiability and Implication for UTVPI Constraints. |
INFORMS Journal on Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
Automatically Exploiting Subproblem Equivalence in Constraint Programming. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey |
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Berthold, Thibaut Feydy, Peter J. Stuckey |
Rapid Learning for Binary Programs. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Peter J. Stuckey, Kim Marriott |
Optimal k-Level Planarization and Crossing Minimization. |
Graph Drawing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Downing, Peter J. Stuckey, Anthony Wirth |
Improved consensus clustering via linear programming. |
ACSC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alex Stivala, Anthony Wirth, Peter J. Stuckey |
Tableau-based protein substructure search using quadratic programming. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Aaron Harwood, Peter J. Stuckey |
Cache Conscious Data Structures for Boolean Satisfiability Solvers. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
Propagation via lazy clause generation. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Finite domain propagation, Boolean variables, SAT solver |
| 1 | Thibaut Feydy, Peter J. Stuckey |
Propagating systems of dense linear integer constraints. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints |
| 1 | Christian Schulte, Peter J. Stuckey |
Erratum to "Efficient constraint propagation engines". |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Peter J. Stuckey, Philip Wadler |
Monadic constraint programming. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
Demand-Driven Normalisation for ACD Term Rewriting. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Samir Genaim, Peter J. Stuckey |
A declarative encoding of telecommunications feature subscription in SAT. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
sat solving, telecommunications feature subscription, declarative modelling |
| 1 | Michael Wybrow, Kim Marriott, Peter J. Stuckey |
Orthogonal Connector Routing. |
Graph Drawing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan M. Frisch, Peter J. Stuckey |
The Proper Treatment of Undefinedness in Constraint Languages. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
Using Relaxations in Maximum Density Still Life. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Feydy, Peter J. Stuckey |
Lazy Clause Generation Reengineered. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Christian Schulte, Peter J. Stuckey |
Confidence-Based Work Stealing in Parallel Constraint Programming. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack |
Maintaining State in Propagation Solvers. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace |
Why Cumulative Decomposition Is Not as Bad as It Sounds. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey |
Minimizing the Maximum Number of Open Stacks by Customer Search. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Solving Partial Order Constraints for LPO Termination. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace |
The Design of the Zinc Modelling Language. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Modelling, Optimisation, CSP, Constraint programming, Language design |
| 1 | Arun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk |
Structural search and retrieval using a tableau representation of protein folding patterns. |
Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wybrow, Kim Marriott, Linda Mciver, Peter J. Stuckey |
Comparing usability of one-way and multi-way constraints for diagram editing. |
ACM Trans. Comput.-Hum. Interact. |
2008 |
DBLP DOI BibTeX RDF |
diagram manipulation, layout tools, Constraints |
| 1 | Christian Schulte, Peter J. Stuckey |
Efficient constraint propagation engines. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints |
| 1 | Natashia Boland, Barry D. Hughes, Liam T. G. Merlot, Peter J. Stuckey |
New integer linear programming approaches for course timetabling. |
Computers & OR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Logic programming with satisfiability. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey |
Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow |
Exploration of Networks using overview+detail with Constraint-based cooperative layout. |
IEEE Trans. Vis. Comput. Graph. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Peter J. Stuckey |
HM(X) type inference is CLP(X) solving. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
Flexible, Rule-Based Constraint Model Linearisation. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Vitaly Lagoon, Peter J. Stuckey |
Fast Set Bounds Propagation using BDDs. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Telecommunications Feature Subscription as a Partial Order Constraint Problem. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
Cadmium: An Implementation of ACD Term Rewriting. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte, Peter J. Stuckey |
Dynamic Analysis of Bounds Versus Domain Propagation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Puchinger, Peter J. Stuckey |
Automating branch-and-bound for dynamic programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
dynamic programming, branch and bound, automatic transformation |
| 1 | Olga Ohrimenko, Peter J. Stuckey |
Modelling for Lazy Clause Generation. |
CATS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Samuel Huston, Jakob Puchinger, Peter J. Stuckey |
The Core Concept for 0/1 Integer Programming. |
CATS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Graeme Gange, Kim Marriott, Peter J. Stuckey |
Smooth Linear Approximation of Non-overlap Constraints. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck |
Optimizing Compilation of CHR with Rule Priorities. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte, Peter J. Stuckey |
Dynamic variable elimination during propagation solving. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
constraint (logic) programming, analysis, redundancy, constraint propagation |
| 1 | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
Global difference constraint propagation for finite domain solvers. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
difference logic, propagation, global constraints |
| 1 | Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand |
From High-Level Model to Branch-and-Price Solution in G12. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey (eds.) |
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings |
CP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey |
The island confinement method for reducing search space in local search methods. |
J. Heuristics |
2007 |
DBLP DOI BibTeX RDF |
Local search, Constraint satisfaction, SAT |
| 1 | Andreas Schutt, Peter J. Stuckey |
Incremental Satisfiability and Implication for UTVPI Constraints |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Logic Programming with Satisfiability |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
Removing propagation redundant constraints in redundant modeling. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
redundant constraints, redundant modeling, Constraint propagation |
| 1 | Maria Garcia de la Banda, Peter J. Stuckey |
Dynamic Programming to Minimize the Maximum Number of Open Stacks. |
INFORMS Journal on Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey |
Understanding functional dependencies via constraint handling rules. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth A. Ross, Peter J. Stuckey, Amélie Marian |
Practical Preference Relations for Large Data Sets. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
Observable Confluence for Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Feydy, Peter J. Stuckey |
Propagating dense systems of integer linear equations. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
constraint programming, constraint propagation, linear equations, Gaussian elimination |
| 1 | Kathryn Francis, Peter J. Stuckey |
Constraint propagation for loose constraint graphs. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
constraint graph, constraint propagation |
| 1 | Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey |
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh |
Encodings of the Sequence Constraint. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
MiniZinc: Towards a Standard CP Modelling Language. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
Propagation = Lazy Clause Generation. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Siddharth Konagurthu, Peter J. Stuckey |
Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds. |
Journal of Computational Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth |
Automatic Implication Checking for CHR Constraints. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
ACD Term Rewriting |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey |
Islands for SAT |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Schulte, Peter J. Stuckey |
Efficient constraint propagation engines |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey |
Improving PARMA trailing. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace |
Adding Constraint Solving to Mercury. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Peter J. Stuckey |
A Hybrid BDD and SAT Finite Domain Constraint Solver. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")