Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDPeter 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
export refined list as
showing all ?? records
2020 – today
- 2020
[j117]Roberto Amadini
, Graeme Gange, Peter J. Stuckey:
Dashed strings for string constraint solving. Artif. Intell. 289: 103368 (2020)- [j116]Gleb Belov, Natashia L. Boland, Martin W. P. Savelsbergh, Peter J. Stuckey:
Logistics optimization for a coal supply chain. J. Heuristics 26(2): 269-300 (2020) - [c315]Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan:
Dynamic Programming for Predict+Optimise. AAAI 2020: 1444-1451 - [c314]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Modelling and Solving Online Optimisation Problems. AAAI 2020: 1477-1485 - [c313]Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack:
Modelling Diversity of Solutions. AAAI 2020: 1528-1535 - [c312]Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns:
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI 2020: 1603-1610 - [c311]Felix Winter, Nysret Musliu, Peter J. Stuckey:
Explaining Propagators for String Edit Distance Constraints. AAAI 2020: 1676-1683 - [c310]Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague:
Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. AAAI 2020: 13235-13240 - [c309]Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey:
Teaching Constraint Programming Using Fable-Based Learning. AAAI 2020: 13366-13373 - [c308]Ryan Hechenberger, Peter J. Stuckey, Daniel Harabor, Pierre Le Bodic, Muhammad Aamir Cheema:
Online Computation of Euclidean Shortest Paths in Two Dimensions. ICAPS 2020: 134-142 - [c307]Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. ICAPS 2020: 193-201 - [c306]Shizhe Zhao, Mattia Chiari, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Peter J. Stuckey:
Bounded Suboptimal Path Planning with Compressed Path Databases. ICAPS 2020: 333-342 - [c305]Frits de Nijs, Peter J. Stuckey:
Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision Making. AAMAS 2020: 303-311 - [c304]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Dashed Strings and the Replace(-all) Constraint. CP 2020: 3-20 - [c303]Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP 2020: 55-71 - [c302]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Aggregation and Garbage Collection for Online Optimization. CP 2020: 231-247 - [c301]Graeme Gange, Peter J. Stuckey:
The Argmax Constraint. CP 2020: 323-337 - [c300]Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman:
Large Neighborhood Search for Temperature Control with Demand Response. CP 2020: 603-619 - [c299]Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Exact Approaches to the Multi-agent Collective Construction Problem. CP 2020: 743-758 - [c298]Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. CP 2020: 917-934 - [c297]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CP 2020: 952-970 - [c296]Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Guided and Core-Boosted Search for CP. CPAIOR 2020: 205-221 - [c295]Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk:
Robust Resource Planning for Aircraft Ground Operations. CPAIOR 2020: 222-238 - [c294]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c293]Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague:
Shifting the Balance-of-Power in STV Elections. E-VOTE-ID 2020: 1-18 - [c292]Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Random Errors Are Not Necessarily Politically Neutral. E-VOTE-ID 2020: 19-35 - [c291]Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig:
Iterative-Deepening Conflict-Based Search. IJCAI 2020: 4084-4090 - [c290]Bojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey:
Euclidean Pathfinding with Compressed Path Databases. IJCAI 2020: 4229-4235 - [c289]Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic:
Improving Single and Multi-View Blockmodelling by Algebraic Simplification. IJCNN 2020: 1-7 - [c288]Eli Boyarski, Daniel Harabor, Peter J. Stuckey, Pierre Le Bodic, Ariel Felner:
F-Cardinal Conflicts in Conflict-Based Search. SOCS 2020: 123-124 - [c287]Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. SOCS 2020: 129-130 - [i51]Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague:
You can do RLAs for IRV. CoRR abs/2004.00235 (2020) - [i50]Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey:
Encoding Linear Constraints into SAT. CoRR abs/2005.02073 (2020) - [i49]Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Random errors are not politically neutral. CoRR abs/2007.00854 (2020) - [i48]Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey:
MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR abs/2007.12652 (2020) - [i47]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CoRR abs/2007.15140 (2020) - [i46]Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. CoRR abs/2009.06921 (2020) - [i45]Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey:
Optimal Decision Lists using SAT. CoRR abs/2010.09919 (2020)
2010 – 2019
- 2019
- [j115]Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey:
Constraints for symmetry breaking in graph representation. Constraints An Int. J. 24(1): 1-24 (2019) - [j114]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. 24(1): 56-93 (2019) - [j113]Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Toward Computing the Margin of Victory in Single Transferable Vote Elections. INFORMS J. Comput. 31(4): 636-653 (2019) - [j112]Wenxi Wang, Harald Søndergaard, Peter J. Stuckey:
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. J. Autom. Reason. 63(3): 723-762 (2019) - [c286]Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. AAAI 2019: 6087-6095 - [c285]Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig:
Searching with Consistent Prioritization for Multi-Agent Path Finding. AAAI 2019: 7643-7650 - [c284]Mattia Chiari, Shizhe Zhao, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Matteo Salvetti, Peter J. Stuckey:
Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols. ICAPS 2019: 106-113 - [c283]Graeme Gange, Daniel Harabor, Peter J. Stuckey:
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS 2019: 155-162 - [c282]Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search. ICAPS 2019: 279-283 - [c281]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - [c280]Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH 2019: 159-166 - [c279]Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey:
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP 2019: 37-53 - [c278]Emir Demirovic, Peter J. Stuckey:
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. CP 2019: 177-194 - [c277]Peter J. Stuckey, Guido Tack:
Compiling Conditional Constraints. CP 2019: 384-400 - [c276]John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow:
Peak-Hour Rail Demand Shifting with Discrete Optimisation. CP 2019: 748-763 - [c275]Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR 2019: 1-19 - [c274]Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR 2019: 39-56 - [c273]Timo Berthold, Peter J. Stuckey, Jakob Witzig:
Local Rapid Learning for Integer Programs. CPAIOR 2019: 67-83 - [c272]Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns:
An Investigation into Prediction + Optimisation for the Knapsack Problem. CPAIOR 2019: 241-257 - [c271]Moli Yang, Andreas Schutt, Peter J. Stuckey:
Time Table Edge Finding with Energy Variables. CPAIOR 2019: 633-642 - [c270]Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Election Manipulation 100. Financial Cryptography Workshops 2019: 211-225 - [c269]Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns:
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. IJCAI 2019: 1078-1085 - [c268]Massimo Bono, Alfonso Emilio Gerevini, Daniel Damir Harabor, Peter J. Stuckey:
Path Planning with CPD Heuristics. IJCAI 2019: 1199-1205 - [c267]Daniel Damir Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig:
Regarding Jump Point Search and Subgoal Graphs. IJCAI 2019: 1241-1248 - [c266]Edward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey:
Branch-and-Cut-and-Price for Multi-Agent Pathfinding. IJCAI 2019: 1289-1296 - [c265]Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA 2019: 352-362 - [c264]Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. SOCS 2019: 184-185 - [c263]Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig:
Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding. SOCS 2019: 188-189 - [c262]Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Election Manipulation with Partial Information. E-VOTE-ID 2019: 32-49 - [e6]Fred Mesnard, Peter J. Stuckey:
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11408, Springer 2019, ISBN 978-3-030-13837-0 [contents] - [i44]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague:
Risk-Limiting Audits for IRV Elections. CoRR abs/1903.08804 (2019) - [i43]Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns:
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. CoRR abs/1911.10092 (2019) - 2018
- [j111]Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann:
Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. Eur. J. Oper. Res. 266(2): 472-486 (2018) - [j110]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. Informaticae 158(4): 297-326 (2018) - [j109]Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18(3-4): 553-570 (2018) - [c261]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
Lagrangian Constrained Community Detection. AAAI 2018: 2983-2990 - [c260]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Sweep-Based Propagation for String Constraint Solving. AAAI 2018: 6557-6564 - [c259]David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey:
Optimal Sankey Diagrams Via Integer Programming. PacificVis 2018: 135-139 - [c258]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating Regular Membership with Dashed Strings. CP 2018: 13-29 - [c257]Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Solver-Independent Large Neighbourhood Search. CP 2018: 81-98 - [c256]Emir Demirovic, Geoffrey Chu, Peter J. Stuckey:
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP 2018: 99-108 - [c255]Graeme Gange, Peter J. Stuckey:
Sequential Precede Chain for Value Symmetry Elimination. CP 2018: 144-159 - [c254]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating lex, find and replace with Dashed Strings. CPAIOR 2018: 18-34 - [c253]Emir Demirovic, Peter J. Stuckey:
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. CPAIOR 2018: 135-152 - [c252]Nysret Musliu, Andreas Schutt, Peter J. Stuckey:
Solver Independent Rotating Workforce Scheduling. CPAIOR 2018: 429-445 - [c251]Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries with Lex Implications. FLOPS 2018: 182-197 - [c250]Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI 2018: 98-105 - [c249]Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI 2018: 1277-1283 - [c248]Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Laurence A. F. Park:
Semi-supervised Blockmodelling with Pairwise Guidance. ECML/PKDD (2) 2018: 158-174 - [c247]Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey:
Data instance generator and optimization models for evacuation planning in the event of wildfire. RSFF 2018: 75-86 - [c246]Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Ian Davidson:
Image Constrained Blockmodelling: A Constraint Programming Approach. SDM 2018: 19-27 - [c245]Daniel Damir Harabor, Peter J. Stuckey:
Forward Search in Contraction Hierarchies. SOCS 2018: 55-62 - [c244]Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Computing the Margin of Victory in Preferential Parliamentary Elections. E-Vote-ID 2018: 1-16 - [c243]Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Ballot-Polling Risk Limiting Audits for IRV Elections. E-Vote-ID 2018: 17-34 - [i42]Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An iterative approach to precondition inference using constrained Horn clauses. CoRR abs/1804.05989 (2018) - [i41]Fred Mesnard, Peter J. Stuckey:
Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). CoRR abs/1808.03326 (2018) - [i40]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Precondition Inference via Partitioning of Initial States. CoRR abs/1811.06771 (2018) - [i39]Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig:
Searching with Consistent Prioritization for Multi-Agent Path Finding. CoRR abs/1812.06356 (2018) - [i38]Tias Guns, Peter J. Stuckey, Guido Tack:
Solution Dominance over Constraint Satisfaction Problems. CoRR abs/1812.09207 (2018) - 2017
- [j108]James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu:
Statistical inference of protein structural alignments using information and compression. Bioinform. 33(7): 1005-1013 (2017) - [j107]Stefan Kreter, Andreas Schutt, Peter J. Stuckey:
Using constraint programming for solving RCPSP/max-cal. Constraints An Int. J. 22(3): 432-462 (2017) - [c242]Toby O. Davies, Graeme Gange, Peter J. Stuckey:
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI 2017: 787-793 - [c241]Graeme Gange, Pierre Ganty, Peter J. Stuckey:
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA 2017: 67-83 - [c240]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 - [c239]Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack:
A Novel Approach to String Constraint Solving. CP 2017: 3-20 - [c238]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
A Declarative Approach to Constrained Community Detection. CP 2017: 477-494 - [c237]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 - [c236]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130 - [c235]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 - [c234]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 - [c233]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. Manag. Sci. 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) - [c232]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI 2016: 3383-3389 - [c231]Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey:
Symmetry declarations for MiniZinc. ACSW 2016: 20 - [c230]Peter J. Stuckey:
Discrete Optimization for Agents. AAMAS 2016: 3 - [c229]Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace:
Improved Linearization of Constraint Programming Models. CP 2016: 49-65 - [c228]Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries in Graphs: The Nauty Way. CP 2016: 157-172 - [c227]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206 - [c226]Thibaut Feydy, Peter J. Stuckey:
Interval Constraints with Learning: Application to Air Traffic Control. CP 2016: 224-232 - [c225]Andreas Schutt, Peter J. Stuckey:
Explaining Producer/Consumer Constraints. CP 2016: 438-454 - [c224]Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey:
On CNF Encodings of Decision Diagrams. CPAIOR 2016: 1-17 - [c223]Geoffrey Chu, Graeme Gange, Peter J. Stuckey:
Lagrangian Decomposition via Sub-problem Search. CPAIOR 2016: 65-80 - [c222]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Weighted Spanning Tree Constraint with Explanations. CPAIOR 2016: 98-107 - [c221]