Peter J. Stuckey
Peter James Stuckey
Person information
- affiliation: University of Melbourne, Australia
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j110]Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann:
Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. European Journal of Operational Research 266(2): 472-486 (2018) - [j109]Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang:
Reference Abstract Domains and Applications to String Analysis. Fundam. Inform. 158(4): 297-326 (2018) - 2017
- [j108]James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda:
Statistical inference of protein structural alignments using information and compression. Bioinformatics 33(7): 1005-1013 (2017) - [j107]Stefan Kreter, Andreas Schutt, Peter J. Stuckey:
Using constraint programming for solving RCPSP/max-cal. Constraints 22(3): 432-462 (2017) - [c241]Toby O. Davies, Graeme Gange, Peter J. Stuckey:
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI 2017: 787-793 - [c240]Graeme Gange, Pierre Ganty, Peter J. Stuckey:
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA 2017: 67-83 - [c239]Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey:
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) 2017: 526-543 - [c238]Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack:
A Novel Approach to String Constraint Solving. CP 2017: 3-20 - [c237]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
A Declarative Approach to Constrained Community Detection. CP 2017: 477-494 - [c236]Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey:
Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR 2017: 21-29 - [c235]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130 - [c234]Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu:
Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. DCC 2017: 340-349 - [c233]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT 2017: 380-397 - [c232]Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang:
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) 2017: 41-57 - [i37]Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Towards Computing Victory Margins in STV Elections. CoRR abs/1703.03511 (2017) - [i36]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague:
Computing the Margin of Victory in Preferential Parliamentary Elections. CoRR abs/1708.00121 (2017) - 2016
- [j106]Michelle L. Blom, Adrian R. Pearce, Peter J. Stuckey:
A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods. Management Science 62(10): 3059-3084 (2016) - [j105]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. 625: 1-24 (2016) - [c231]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI 2016: 3383-3389 - [c230]
- [c229]
- [c228]Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace:
Improved Linearization of Constraint Programming Models. CP 2016: 49-65 - [c227]Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries in Graphs: The Nauty Way. CP 2016: 157-172 - [c226]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206 - [c225]Thibaut Feydy, Peter J. Stuckey:
Interval Constraints with Learning: Application to Air Traffic Control. CP 2016: 224-232 - [c224]
- [c223]Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey:
On CNF Encodings of Decision Diagrams. CPAIOR 2016: 1-17 - [c222]Geoffrey Chu, Graeme Gange, Peter J. Stuckey:
Lagrangian Decomposition via Sub-problem Search. CPAIOR 2016: 65-80 - [c221]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Weighted Spanning Tree Constraint with Explanations. CPAIOR 2016: 98-107 - [c220]Thorsten Ehlers, Peter J. Stuckey:
Parallelizing Constraint Programming with Learning. CPAIOR 2016: 142-158 - [c219]Daniel Harabor, Peter J. Stuckey:
Rail Capacity Modelling with Constraint Programming. CPAIOR 2016: 170-186 - [c218]Wenxi Wang, Harald Søndergaard, Peter J. Stuckey:
A Bit-Vector Solver with Word-Level Propagation. CPAIOR 2016: 374-391 - [c217]Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar:
Efficient Computation of Exact IRV Margins. ECAI 2016: 480-488 - [c216]Graeme Gange, Peter J. Stuckey:
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) 2016: 13:1-13:14 - [c215]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. IJCAI 2016: 4140-4144 - [c214]Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. LOPSTR 2016: 59-75 - [c213]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211 - [c212]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
Lagrangian Constrained Clustering. SDM 2016: 288-296 - [c211]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An Abstract Domain of Uninterpreted Functions. VMCAI 2016: 85-103 - [i35]Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. CoRR abs/1608.03650 (2016) - 2015
- [j104]
- [j103]Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey:
Automatic Minimal-Height Table Layout. INFORMS Journal on Computing 27(3): 449-461 (2015) - [j102]Broes de Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey:
Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. 52: 235-286 (2015) - [j101]Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes:
Two type extensions for the constraint modeling language MiniZinc. Sci. Comput. Program. 111: 156-189 (2015) - [j100]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Horn clauses as an intermediate representation for program analysis and transformation. TPLP 15(4-5): 526-542 (2015) - [c210]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI 2015: 3468-3474 - [c209]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. ICAPS 2015: 61-69 - [c208]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. AAMAS 2015: 1141-1149 - [c207]Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey:
Encoding Linear Constraints with Implication Chains to CNF. CP 2015: 3-11 - [c206]Stefan Kreter, Andreas Schutt, Peter J. Stuckey:
Modeling and Solving Project Scheduling with Calendars. CP 2015: 262-278 - [c205]Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack:
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP 2015: 376-392 - [c204]Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey:
Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study. CPAIOR 2015: 91-107 - [c203]Geoffrey Chu, Peter J. Stuckey:
Learning Value Heuristics for Constraint Programming. CPAIOR 2015: 108-123 - [c202]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Tool for Intersecting Context-Free Grammars and Its Applications. NFM 2015: 422-428 - [c201]Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey, Peter J. Stuckey:
Generalized Modularity for Community Detection. ECML/PKDD (2) 2015: 655-670 - [c200]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
#∃SAT: Projected Model Counting. SAT 2015: 121-137 - [i34]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR abs/1507.05762 (2015) - [i33]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Projected Model Counting. CoRR abs/1507.07648 (2015) - [i32]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar:
Efficient Computation of Exact IRV Margins. CoRR abs/1508.04885 (2015) - [i31]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Unsatisfiable Cores and Lower Bounding for Constraint Programming. CoRR abs/1508.06096 (2015) - 2014
- [j99]Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer:
The MiniZinc Challenge 2008-2013. AI Magazine 35(2): 55-60 (2014) - [j98]Kathryn Glenn Francis, Peter J. Stuckey:
Explaining circuit propagation. Constraints 19(1): 1-29 (2014) - [j97]Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace:
The future of optimization technology. Constraints 19(2): 126-138 (2014) - [j96]Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey:
Symmetries, almost symmetries, and lazy clause generation. Constraints 19(4): 434-462 (2014) - [j95]Michelle L. Blom, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey:
A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines. INFORMS Journal on Computing 26(4): 658-676 (2014) - [j94]Graeme Gange, Harald Søndergaard, Peter J. Stuckey:
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20(1): 6:1-6:14 (2014) - [j93]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. 37(1): 1:1-1:35 (2014) - [c199]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Fragment-Based Planning Using Column Generation. ICAPS 2014 - [c198]Nir Lipovetzky, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey:
Planning for Mining Operations with Time and Resource Constraints. ICAPS 2014 - [c197]
- [c196]Roberto Amadini, Peter J. Stuckey:
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. CP 2014: 108-124 - [c195]
- [c194]
- [c193]
- [c192]Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace:
Modelling with Option Types in MiniZinc. CPAIOR 2014: 88-103 - [c191]Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey:
Local Search for a Cargo Assembly Planning Problem. CPAIOR 2014: 159-175 - [c190]Kim Marriott, Peter J. Stuckey, Michael Wybrow:
Seeing Around Corners: Fast Orthogonal Connector Routing. Diagrams 2014: 31-37 - [c189]J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR 2014: 3-20 - [i30]Graeme Gange, Peter James Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. CoRR abs/1401.3846 (2014) - [i29]Amit Metodi, Michael Codish, Peter James Stuckey:
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. CoRR abs/1402.0568 (2014) - [i28]Broes de Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe:
Lazy Model Expansion: Interleaving Grounding with Search. CoRR abs/1402.6889 (2014) - [i27]Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey:
Grounding Bound Founded Answer Set Programs. CoRR abs/1405.3362 (2014) - [i26]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Partial-Order Approach to Array Content Analysis. CoRR abs/1408.1754 (2014) - [i25]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR abs/1411.5131 (2014) - [i24]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR abs/1411.5410 (2014) - 2013
- [j92]Raj K. Gaire, Lorey Smith, Patrick Humbert, James Bailey, Peter J. Stuckey, Izhak Haviv:
Discovery and analysis of consistent active sub-networks in cancers. BMC Bioinformatics 14(S-2): S7 (2013) - [j91]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search combinators. Constraints 18(2): 269-305 (2013) - [j90]Amit Metodi, Michael Codish, Peter J. Stuckey:
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. 46: 303-341 (2013) - [j89]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace:
Solving RCPSP/max by lazy clause generation. J. Scheduling 16(3): 273-289 (2013) - [j88]Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey:
Stable model semantics for founded bounds. TPLP 13(4-5): 517-532 (2013) - [j87]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Failure tabled constraint logic programming by interpolation. TPLP 13(4-5): 593-607 (2013) - [j86]Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey:
A CLP heap solver for test case generation. TPLP 13(4-5): 721-735 (2013) - [c188]Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013 - [c187]Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte:
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230 - [c186]
- [c185]Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey:
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. CP 2013: 97-106 - [c184]
- [c183]Kathryn Francis, Jorge A. Navas, Peter J. Stuckey:
Modelling Destructive Assignments. CP 2013: 315-330 - [c182]Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck:
Explaining Propagators for Edge-Valued Decision Diagrams. CP 2013: 340-355 - [c181]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Scheduling Optional Tasks with Explanation. CP 2013: 628-644 - [c180]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR 2013: 234-250 - [c179]
- [c178]Hanyu Gu, Andreas Schutt, Peter J. Stuckey:
A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. CPAIOR 2013: 340-346 - [c177]Arun Siddharth Konagurthu, Lloyd Allison, David Abramson, Peter J. Stuckey, Arthur M. Lesk:
Statistical Inference of Protein "LEGO Bricks". ICDM 2013: 1091-1096 - [c176]Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey:
Breaking Symmetries in Graph Representation. IJCAI 2013: 510-516 - [c175]Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes:
Finite type extensions in constraint programming. PPDP 2013: 217-227 - [c174]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24 - [c173]
- [c172]Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte:
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291 - [i23]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Unsatisfiable Cores for Constraint Programming. CoRR abs/1305.1690 (2013) - [i22]Geoffrey Chu, Peter J. Stuckey:
Structure Based Extended Resolution for Constraint Programming. CoRR abs/1306.4418 (2013) - 2012
- [j85]Geoffrey Chu, Peter J. Stuckey:
A complete solution to the Maximum Density Still Life Problem. Artif. Intell. 184-185: 1-16 (2012) - [j84]Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh:
AI@NICTA. AI Magazine 33(3): 115- (2012) - [j83]Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey:
Exploiting subproblem dominance in constraint programming. Constraints 17(1): 1-38 (2012) - [c171]
- [c170]Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS 2012: 115-130 - [c169]Geoffrey Chu, Peter J. Stuckey:
A Generic Method for Identifying and Exploiting Dominance Relations. CP 2012: 6-22 - [c168]
- [c167]Geoffrey Chu, Peter J. Stuckey:
Inter-instance Nogood Learning in Constraint Programming. CP 2012: 238-247 - [c166]Kathryn Francis, Sebastian Brand, Peter J. Stuckey:
Optimisation Modelling for Software Developers. CP 2012: 274-289 - [c165]Hanyu Gu, Peter J. Stuckey, Mark G. Wallace:
Maximising the Net Present Value of Large Resource-Constrained Projects. CP 2012: 767-781 - [c164]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Explaining Flow-Based Propagation. CPAIOR 2012: 146-162 - [c163]
- [c162]Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace:
Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR 2012: 362-378 - [c161]
- [c160]Graeme Gange, Kim Marriott, Peter J. Stuckey:
Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22 - [c159]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey:
A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119 - [c158]Broes de Cat, Marc Denecker, Peter J. Stuckey:
Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) 2012: 201-211 - [c157]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
An Introduction to Search Combinators. LOPSTR 2012: 2-16 - [i21]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CoRR abs/1203.1095 (2012) - [i20]