Peter J. Stuckey - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 476

2023

Storage Assignment Using Nested Annealing and Hamming DistancesJohan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger. icores 2023: 94-105 [doi]

2022

Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging StationsEdward Lam 0001, Guy Desaulniers, Peter J. Stuckey. cor, 145:105870, 2022. [doi]

Branch-and-cut-and-price for multi-agent path findingEdward Lam 0001, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey. cor, 144:105809, 2022. [doi]

MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood SearchJiaoyang Li 0001, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig. AAAI 2022: 10256-10265 [doi]

Coupling Different Integer Encodings for SATHendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey. cpaior 2022: 44-63 [doi]

Flex Distribution for Bounded-Suboptimal Multi-Agent Path FindingShao-Hung Chan, Jiaoyang Li 0001, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig. AAAI 2022: 9313-9322 [doi]

Multi-Train Path Finding RevisitedZhe Chen, Jiaoyang Li 0001, Daniel Harabor, Peter J. Stuckey, Sven Koenig. socs 2022: 38-46 [doi]

MurTree: Optimal Decision Trees via Dynamic Programming and SearchEmir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey 0001, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey. jmlr, 23, 2022. [doi]

Explaining Propagation for Gini and Spread with Variable MeanAlexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack. cp 2022: [doi]

Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree ModelFloyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. esorics 2023: 525-540 [doi]

A Divide and Conquer Algorithm for Predict+Optimize with Non-convex ProblemsAli Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey 0001, Christopher Leckie, Peter J. Stuckey. AAAI 2022: 3749-3757 [doi]

Dual Euclidean Shortest Path Search (Extended Abstract)Ryan Hechenberger, Peter J. Stuckey, Pierre Le Bodic, Daniel Damir Harabor. socs 2022: 285-287 [doi]

Multi-Agent Path Finding with Temporal Jump Point SearchShuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant. aips 2022: 169-173 [doi]

Using MaxSAT for Efficient Explanations of Tree EnsemblesAlexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva 0001. AAAI 2022: 3776-3785 [doi]

A FastMap-Based Algorithm for Block ModelingAng Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar. cpaior 2022: 232-248 [doi]

Modelling Zeros in BlockmodellingLaurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey 0001, Christopher Leckie, Rao Kotagiri. pakdd 2022: 187-198 [doi]

Fast optimal and bounded suboptimal Euclidean pathfindingBojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey. ai, 302:103624, 2022. [doi]

Improving Time-Dependent Contraction HierarchiesBojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey. aips 2022: 338-347 [doi]

Enumerated Types and Type Extensions for MiniZincPeter J. Stuckey, Guido Tack. cpaior 2022: 374-389 [doi]

2021

Pairwise symmetry reasoning for multi-agent path finding searchJiaoyang Li 0001, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Graeme Gange, Sven Koenig. ai, 301:103574, 2021. [doi]

Anytime Multi-Agent Path Finding via Large Neighborhood SearchJiaoyang Li 0001, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig. atal 2021: 1581-1583 [doi]

Scalable Rail Planning and Replanning: Winning the 2020 Flatland ChallengeJiaoyang Li 0001, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Sven Koenig. aips 2021: 477-485 [doi]

Anytime Multi-Agent Path Finding via Large Neighborhood SearchJiaoyang Li 0001, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig. IJCAI 2021: 4127-4135 [doi]

Auditing Hamiltonian ElectionsMichelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. fc 2021: 235-250 [doi]

Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional ElectionsMichelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. evoteid 2021: 47-62 [doi]

f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based SearchEli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey, Sven Koenig. AAAI 2021: 12241-12248 [doi]

Further Improved Heuristics For Conflict-Based SearchEli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey, Sven Koenig. socs 2021: 213-215 [doi]

ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path FindingShao-Hung Chan, Jiaoyang Li 0001, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig. socs 2021: 159-161 [doi]

Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and DeliveryZhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey. ral, 6(3):5816-5823, 2021. [doi]

Symmetry Breaking for k-Robust Multi-Agent Path FindingZhe Chen, Daniel Damir Harabor, Jiaoyang Li 0001, Peter J. Stuckey. AAAI 2021: 12267-12274 [doi]

Optimal Decision Trees for Nonlinear MetricsEmir Demirovic, Peter J. Stuckey. AAAI 2021: 3733-3741 [doi]

Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes ReasoningJo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey. AAAI 2021: 3750-3758 [doi]

A Fresh Look at Zones and OctagonsGraeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. TOPLAS, 43(3), 2021. [doi]

Disjunctive Interval AnalysisGraeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. SAS 2021: 144-165 [doi]

Multi-Target Search in Euclidean Space with Ray ShootingRyan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic. socs 2021: 176-178 [doi]

Jump Point Search with Temporal ObstaclesShuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant. aips 2021: 184-191 [doi]

A Scalable Two Stage Approach to Computing Optimal Decision SetsAlexey Ignatiev, Edward Lam 0001, Peter J. Stuckey, João Marques-Silva 0001. AAAI 2021: 3806-3814 [doi]

Reasoning-Based Learning of Interpretable ML ModelsAlexey Ignatiev, João Marques-Silva 0001, Nina Narodytska, Peter J. Stuckey. IJCAI 2021: 4458-4465 [doi]

Transformation-Enabled Precondition InferenceBishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard. tplp, 21(6):700-716, 2021. [doi]

Lightweight Nontermination Inference with CHCsBishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. SEFM 2021: 383-402 [doi]

Customised Shortest Paths Using a Distributed Reverse OracleArthur Mahéo, Shizhe Zhao, Hassan Afzaal, Daniel Harabor, Peter J. Stuckey, Mark Wallace 0001. socs 2021: 79-87 [doi]

On identifying statistical redundancy at the level of amino acid subsequencesSandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu. bibm 2021: 64-71 [doi]

Optimising Training for Service DeliveryIlankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey. cp 2021: [doi]

Contracting and Compressing Shortest Path DatabasesBojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey. aips 2021: 322-330 [doi]

Learning Optimal Decision Sets and Lists with SATJinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic. jair, 72:1251-1279, 2021. [doi]

2020

Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-CheckEdward Lam 0001, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker. orf, 1(3), 2020. [doi]

Large Neighborhood Search for Temperature Control with Demand ResponseEdward Lam 0001, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman. cp 2020: 603-619 [doi]

Exact Approaches to the Multi-agent Collective Construction ProblemEdward Lam 0001, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar. cp 2020: 743-758 [doi]

New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path FindingJiaoyang Li 0001, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Sven Koenig. socs 2020: 129-130 [doi]

New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path FindingJiaoyang Li 0001, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Sven Koenig. aips 2020: 193-201 [doi]

Dashed strings for string constraint solvingRoberto Amadini, Graeme Gange, Peter J. Stuckey. ai, 289:103368, 2020. [doi]

Abstract Interpretation, Symbolic Execution and ConstraintsRoberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. BIRTHDAY 2020: [doi]

Dashed Strings and the Replace(-all) ConstraintRoberto Amadini, Graeme Gange, Peter J. Stuckey. cp 2020: 3-20 [doi]

String Constraint Solving: Past, Present and FutureRoberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. ecai 2020: 2875-2876 [doi]

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary StudyRoberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. LOPSTR 2021: 192-209 [doi]

Logistics optimization for a coal supply chainGleb Belov, Natashia L. Boland, Martin W. P. Savelsbergh, Peter J. Stuckey. heuristics, 26(2):269-300, 2020. [doi]

Solving Satisfaction Problems Using Large-Neighbourhood SearchGustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack. cp 2020: 55-71 [doi]

Shifting the Balance-of-Power in STV ElectionsMichelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague. evoteid 2020: 1-18 [doi]

Random Errors Are Not Necessarily Politically NeutralMichelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic. evoteid 2020: 19-35 [doi]

Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV ElectionsMichelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague. AAAI 2020: 13235-13240 [doi]

F-Cardinal Conflicts in Conflict-Based SearchEli Boyarski, Daniel Harabor, Peter J. Stuckey, Pierre Le Bodic, Ariel Felner. socs 2020: 123-124 [doi]

Iterative-Deepening Conflict-Based SearchEli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen 0002, Jiaoyang Li 0001, Sven Koenig. IJCAI 2020: 4084-4090 [doi]

Teaching Constraint Programming Using Fable-Based LearningMavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey. AAAI 2020: 13366-13373 [doi]

Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision MakingFrits de Nijs, Peter J. Stuckey. atal 2020: 303-311 [doi]

Dynamic Programming for Predict+OptimiseEmir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey 0001, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan. AAAI 2020: 1444-1451 [doi]

Aggregation and Garbage Collection for Online OptimizationAlexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack. cp 2020: 231-247 [doi]

Modelling and Solving Online Optimisation ProblemsAlexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack. AAAI 2020: 1477-1485 [doi]

The Argmax ConstraintGraeme Gange, Peter J. Stuckey. cp 2020: 323-337 [doi]

Core-Guided and Core-Boosted Search for CPGraeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey. cpaior 2020: 205-221 [doi]

Robust Resource Planning for Aircraft Ground OperationsYagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk. cpaior 2020: 222-238 [doi]

Online Computation of Euclidean Shortest Paths in Two DimensionsRyan Hechenberger, Peter J. Stuckey, Daniel Harabor, Pierre Le Bodic, Muhammad Aamir Cheema. aips 2020: 134-142 [doi]

Modelling Diversity of SolutionsLinnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack. AAAI 2020: 1528-1535 [doi]

Smart Predict-and-Optimize for Hard Combinatorial Optimization ProblemsJayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns. AAAI 2020: 1603-1610 [doi]

Improving Single and Multi-View Blockmodelling by Algebraic SimplificationRishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey 0001, Christopher Leckie, Emir Demirovic. ijcnn 2020: 1-7 [doi]

Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition ModelsBuser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey. cp 2020: 917-934 [doi]

Euclidean Pathfinding with Compressed Path DatabasesBojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey. IJCAI 2020: 4229-4235 [doi]

Explaining Propagators for String Edit Distance ConstraintsFelix Winter, Nysret Musliu, Peter J. Stuckey. AAAI 2020: 1676-1683 [doi]

Computing Optimal Decision Sets with SATJinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic. cp 2020: 952-970 [doi]

Bounded Suboptimal Path Planning with Compressed Path DatabasesShizhe Zhao, Mattia Chiari, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Peter J. Stuckey. aips 2020: 333-342 [doi]

2019

Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path FindingHang Ma 0001, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig. socs 2019: 188-189 [doi]

Optimal context-sensitive dynamic partial order reduction with observersElvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey. ISSTA 2019: 352-362 [doi]

Constraint Programming for Dynamic Symbolic Execution of JavaScriptRoberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. cpaior 2019: 1-19 [doi]

Optimal Bounds for Floating-Point Addition in Constant TimeMak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. arith 2019: 159-166 [doi]

Local Rapid Learning for Integer ProgramsTimo Berthold, Peter J. Stuckey, Jakob Witzig. cpaior 2019: 67-83 [doi]

Peak-Hour Rail Demand Shifting with Discrete OptimisationJohn M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow. cp 2019: 748-763 [doi]

Exploring Declarative Local-Search Neighbourhoods with Constraint ProgrammingGustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey. cp 2019: 37-53 [doi]

Toward Computing the Margin of Victory in Single Transferable Vote ElectionsMichelle L. Blom, Peter J. Stuckey, Vanessa J. Teague. informs, 31(4):636-653, 2019. [doi]

Election Manipulation 100Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague. fc 2020: 211-225 [doi]

Election Manipulation with Partial InformationMichelle L. Blom, Peter J. Stuckey, Vanessa J. Teague. voteid 2019: 32-49 [doi]

Path Planning with CPD HeuristicsMassimo Bono, Alfonso Emilio Gerevini, Daniel Damir Harabor, Peter J. Stuckey. IJCAI 2019: 1199-1205 [doi]

Constraints for symmetry breaking in graph representationMichael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey. constraints, 24(1):1-24, 2019. [doi]

Compiling CP subproblems to MDDs and d-DNNFsDiego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey. constraints, 24(1):56-93, 2019. [doi]

Dissecting Widening: Separating Termination from InformationGraeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. aplas 2019: 95-114 [doi]

Regarding Jump Point Search and Subgoal GraphsDaniel Damir Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig. IJCAI 2019: 1241-1248 [doi]

Branch-and-Cut-and-Price for Multi-Agent PathfindingEdward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey. IJCAI 2019: 1289-1296 [doi]

Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path FindingJiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma 0001, Sven Koenig. socs 2019: 184-185 [doi]

Compiling Conditional ConstraintsPeter J. Stuckey, Guido Tack. cp 2019: 384-400 [doi]

Wombit: A Portfolio Bit-Vector Solver Using Word-Level PropagationWenxi Wang, Harald Søndergaard, Peter J. Stuckey. JAR, 63(3):723-762, 2019. [doi]

Time Table Edge Finding with Energy VariablesMoli Yang, Andreas Schutt, Peter J. Stuckey. cpaior 2019: 633-642 [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Peter J. Stuckey'

Viewing Publication 1 - 100 from 476

2023

2022

2021

2020

2019

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Peter J. Stuckey'

Viewing Publication 1 - 100 from 476

2023

2022

2021

2020

2019

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1