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
- 2021
[j120]Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig:
Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. 301: 103574 (2021)- [j119]Zhe Chen, Javier Alonso-Mora
, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey:
Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. IEEE Robotics Autom. Lett. 6(3): 5816-5823 (2021) - [j118]Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43(3): 11:1-11:51 (2021) - [c337]Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. AAAI 2021: 3733-3741 - [c336]Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey:
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI 2021: 3750-3758 - [c335]Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI 2021: 3806-3814 - [c334]Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey, Sven Koenig:
f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search. AAAI 2021: 12241-12248 - [c333]Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. AAAI 2021: 12267-12274 - [c332]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Jump Point Search with Temporal Obstacles. ICAPS 2021: 184-191 - [c331]Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Contracting and Compressing Shortest Path Databases. ICAPS 2021: 322-330 - [c330]Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. ICAPS 2021: 477-485 - [c329]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. AAMAS 2021: 1581-1583 - [c328]Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey:
Optimising Training for Service Delivery. CP 2021: 48:1-48:15 - [c327]Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. E-VOTE-ID 2021: 47-62 - [c326]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. Financial Cryptography Workshops 2021: 235-250 - [c325]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. IJCAI 2021: 4127-4135 - [c324]Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465 - [c323]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c322]Arthur Mahéo, Shizhe Zhao, Hassan Afzaal, Daniel Harabor, Peter J. Stuckey, Mark Wallace:
Customised Shortest Paths Using a Distributed Reverse Oracle. SOCS 2021: 79-87 - [c321]Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. SOCS 2021: 159-161 - [c320]Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic:
Multi-Target Search in Euclidean Space with Ray Shooting. SOCS 2021: 176-178 - [c319]Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. SOCS 2021: 179-181 - [c318]Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Further Improved Heuristics For Conflict-Based Search. SOCS 2021: 213-215 - [e7]Peter J. Stuckey:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings. Lecture Notes in Computer Science 12735, Springer 2021, ISBN 978-3-030-78229-0 [contents] - [i60]Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. CoRR abs/2102.01904 (2021) - [i59]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. CoRR abs/2102.08510 (2021) - [i58]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. CoRR abs/2102.08689 (2021) - [i57]Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search. CoRR abs/2103.07116 (2021) - [i56]Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. CoRR abs/2107.11903 (2021) - [i55]Buser Say, Scott Sanner, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. CoRR abs/2108.00633 (2021) - [i54]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. CoRR abs/2108.03178 (2021) - [i53]Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey:
Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. CoRR abs/2110.14891 (2021) - 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) - [c317]Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan:
Dynamic Programming for Predict+Optimise. AAAI 2020: 1444-1451 - [c316]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Modelling and Solving Online Optimisation Problems. AAAI 2020: 1477-1485 - [c315]Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack:
Modelling Diversity of Solutions. AAAI 2020: 1528-1535 - [c314]Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns:
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI 2020: 1603-1610 - [c313]Felix Winter, Nysret Musliu, Peter J. Stuckey:
Explaining Propagators for String Edit Distance Constraints. AAAI 2020: 1676-1683 - [c312]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 - [c311]Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey:
Teaching Constraint Programming Using Fable-Based Learning. AAAI 2020: 13366-13373 - [c310]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 - [c309]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 - [c308]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 - [c307]Frits de Nijs, Peter J. Stuckey:
Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision Making. AAMAS 2020: 303-311 - [c306]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift 2020: 7:1-7:19 - [c305]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Dashed Strings and the Replace(-all) Constraint. CP 2020: 3-20 - [c304]Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP 2020: 55-71 - [c303]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 - [c302]Graeme Gange, Peter J. Stuckey:
The Argmax Constraint. CP 2020: 323-337 - [c301]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 - [c300]Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Exact Approaches to the Multi-agent Collective Construction Problem. CP 2020: 743-758 - [c299]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 - [c298]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CP 2020: 952-970 - [c297]Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Guided and Core-Boosted Search for CP. CPAIOR 2020: 205-221 - [c296]Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk:
Robust Resource Planning for Aircraft Ground Operations. CPAIOR 2020: 222-238 - [c295]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c294]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 - [c293]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 - [c292]Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig:
Iterative-Deepening Conflict-Based Search. IJCAI 2020: 4084-4090 - [c291]Bojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey:
Euclidean Pathfinding with Compressed Path Databases. IJCAI 2020: 4229-4235 - [c290]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 - [c289]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR 2020: 192-209 - [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 - [i52]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) - [i51]Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey:
Encoding Linear Constraints into SAT. CoRR abs/2005.02073 (2020) - [i50]Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Random errors are not politically neutral. CoRR abs/2007.00854 (2020) - [i49]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) - [i48]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CoRR abs/2007.15140 (2020) - [i47]Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. CoRR abs/2009.06921 (2020) - [i46]Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey:
Optimal Decision Lists using SAT. CoRR abs/2010.09919 (2020) - [i45]Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey:
Divide and Learn: A Divide and Conquer Approach for Predict+Optimize. CoRR abs/2012.02342 (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]