


default search action
Peter J. Stuckey
Peter James Stuckey
Person information
- affiliation: Monash University, Australia
- affiliation (former): 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
- 2025
- [j133]Christoph Bergmeir
, Frits de Nijs, Evgenii Genov
, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean
, John M. Betts
, Quang Bui, Nam Trong Dinh
, Nils Einecke
, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Robert Glasgow
, Rakshitha Godahewa
, Yanfei Kang, Steffen Limmer
, Luis Magdalena
, Pablo Montero-Manso, Daniel Peralta
, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick
, Akylas C. Stratigakos
, Peter J. Stuckey
, Guido Tack, Isaac Triguero
, Rui Yuan
:
Predict+Optimize Problem in Renewable Energy Scheduling. IEEE Access 13: 60064-60087 (2025) - [c390]Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li:
Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. AAAI 2025: 14726-14735 - [c389]Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities. AAAI 2025: 23387-23394 - [c388]Ruth-Emely Pierau
, Alaster Meehan, Hamid Rezatofighi, Peter J. Stuckey:
Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums Through Simulated Annealing (Student Abstract). AAAI 2025: 29466-29468 - [i95]Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Efficient Lower Bounding of Single Transferable Vote Election Margins. CoRR abs/2501.14847 (2025) - [i94]Zhixi Cai, Fucai Ke, Simindokht Jahangard, Maria Garcia de la Banda, Reza Haffari, Peter J. Stuckey, Hamid Rezatofighi:
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning. CoRR abs/2502.00372 (2025) - [i93]Boying Li, Vuong Chi Hao, Peter J. Stuckey, Ian D. Reid, Hamid Rezatofighi:
Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting. CoRR abs/2502.14931 (2025) - [i92]Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. CoRR abs/2503.14803 (2025) - [i91]Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Doing More With Less: Mismatch-Based Risk-Limiting Audits. CoRR abs/2503.16104 (2025) - 2024
- [j132]Elvira Albert
, Maria Garcia de la Banda
, Alejandro Hernández-Cerezo
, Alexey Ignatiev
, Albert Rubio
, Peter J. Stuckey
:
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8(PLDI): 1437-1462 (2024) - [j131]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard
, Peter J. Stuckey:
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23(2): 319-342 (2024) - [j130]Jinqiang Yu
, Michael Fu
, Alexey Ignatiev
, Chakkrit Tantithamthavorn
, Peter J. Stuckey
:
A Formal Explainer for Just-In-Time Defect Predictions. ACM Trans. Softw. Eng. Methodol. 33(7): 187:1-187:31 (2024) - [c387]Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva:
Delivering Inflated Explanations. AAAI 2024: 12744-12753 - [c386]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. AAAI 2024: 20674-20682 - [c385]Hendrik Bierlee
, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack:
Single Constant Multiplication for SAT. CPAIOR (1) 2024: 84-98 - [c384]Alexander Ek
, Michelle L. Blom
, Philip B. Stark
, Peter J. Stuckey
, Damjan Vukcevic
:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. E-Vote-ID 2024: 37-53 - [c383]Michelle L. Blom
, Peter J. Stuckey
, Vanessa Teague
, Damjan Vukcevic
:
RLAs for 2-Seat STV Elections: Revisited. FC Workshops 2024: 3-17 - [c382]Alexander Ek
, Philip B. Stark
, Peter J. Stuckey
, Damjan Vukcevic
:
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. FC Workshops 2024: 18-32 - [c381]Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic
, Peter J. Stuckey:
Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. ICAPS 2024: 707-715 - [c380]Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Rapidly Computing Approximate Graph Convex Hulls via FastMap. LOD (2) 2024: 323-338 - [c379]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Peter J. Stuckey:
Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs. NeurIPS 2024 - [c378]Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey:
Anytime Approximate Formal Feature Attribution. SAT 2024: 30:1-30:23 - [c377]Mark Carlson, Daniel Harabor, Peter J. Stuckey:
Avoiding Node Re-Expansions Can Break Symmetry Breaking. SOCS 2024: 20-27 - [c376]Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Solving Facility Location Problems via FastMap and Locality Sensitive Hashing. SOCS 2024: 46-54 - [c375]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding (Extended Abstract). SOCS 2024: 265-266 - [c374]Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract). SOCS 2024: 303-304 - [d17]Elvira Albert
, Maria Garcia de la Banda
, Alejandro Hernández-Cerezo
, Alexey Ignatiev
, Albert Rubio
, Peter J. Stuckey
:
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques". Zenodo, 2024 - [d16]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.8.3. Zenodo, 2024 [all versions] - [d15]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.8.4. Zenodo, 2024 [all versions] - [d14]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen
, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Zenodo, 2024 - [i90]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
RLAs for 2-Seat STV Elections: Revisited. CoRR abs/2402.03707 (2024) - [i89]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. CoRR abs/2403.15400 (2024) - [i88]Shuai Fu, Tim Dwyer, Peter J. Stuckey, John Grundy:
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets. CoRR abs/2405.12697 (2024) - [i87]Shuai Fu, Tim Dwyer, Peter J. Stuckey:
GeckoGraph: A Visual Language for Polymorphic Types. CoRR abs/2405.12699 (2024) - [i86]Miquel Ramírez, Anubhav Singh
, Peter J. Stuckey, Chris Manzie:
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems. CoRR abs/2406.09661 (2024) - [i85]Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. CoRR abs/2407.16465 (2024) - [i84]Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi:
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. CoRR abs/2409.10196 (2024) - [i83]Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Idiosyncratic properties of Australian STV election counting. CoRR abs/2409.11627 (2024) - [i82]Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey:
Formal Explanations for Neuro-Symbolic AI. CoRR abs/2410.14219 (2024) - [i81]Andrii Rohovyi, Peter J. Stuckey, Toby Walsh:
Timetable Nodes for Public Transport Network. CoRR abs/2410.15715 (2024) - [i80]Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li:
Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. CoRR abs/2411.16506 (2024) - 2023
- [j129]Piyumi R. Amarasinghe
, Lloyd Allison
, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu:
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. Bioinform. 39(Supplement-1): 357-367 (2023) - [j128]Elvira Albert, Maria Garcia de la Banda
, Miguel Gómez-Zamalloa
, Miguel Isabel
, Peter J. Stuckey
:
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202: 111730 (2023) - [c373]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI 2023: 4123-4131 - [c372]Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi:
Optimal Pathfinding on Weighted Grid Maps. AAAI 2023: 12373-12380 - [c371]Edward Lam, Daniel Damir Harabor, Peter J. Stuckey, Jiaoyang Li:
Exact Anytime Multi-Agent Path Finding Using Branch-and-Cut-and-Price and Large Neighborhood Search. ICAPS 2023: 254-258 - [c370]Sergey Polyakovskiy, Peter J. Stuckey:
A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem. ICAPS 2023: 352-360 - [c369]Bojie Shen
, Zhe Chen, Jiaoyang Li, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Beyond Pairwise Reasoning in Multi-Agent Path Finding. ICAPS 2023: 384-392 - [c368]Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey:
From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP 2023: 38:1-38:21 - [c367]Vincent Barbosa Vaz
, James Bailey, Christopher Leckie, Peter J. Stuckey:
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP 2023: 42:1-42:10 - [c366]Alexander Ek
, Philip B. Stark
, Peter J. Stuckey
, Damjan Vukcevic
:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. E-Vote-ID 2023: 35-51 - [c365]Michelle L. Blom
, Peter J. Stuckey
, Vanessa Teague
, Damjan Vukcevic
:
Risk-Limiting Audits for Condorcet Elections. FC Workshops 2023: 79-94 - [c364]Peter J. Stuckey:
MiniZinc for Formal Methods. FMCAD 2023: 1 - [c363]Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger
:
Storage Assignment Using Nested Annealing and Hamming Distances. ICORES 2023: 94-105 - [c362]Johan Oxenstierna
, Louis Janse van Rensburg, Peter J. Stuckey
, Volker Krüger
:
Optimization of the Storage Location Assignment Problem Using Nested Annealing. ICORES (Selected Papers) 2023: 220-244 - [c361]Roberto Amadini, Peter J. Stuckey:
A Regular Matching Constraint for String Variables. IJCAI 2023: 1868-1875 - [c360]Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier:
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. ICPC 2023: 146-156 - [c359]Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
A FastMap-Based Framework for Efficiently Computing Top-K Projected Centrality. LOD (1) 2023: 158-173 - [c358]Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Efficient Multi Agent Path Finding with Turn Actions. SOCS 2023: 119-127 - [c357]Shizhe Zhao, Daniel Harabor, Peter J. Stuckey:
Reducing Redundant Work in Jump Point Search. SOCS 2023: 128-136 - [d13]Christoph Bergmeir
, Quang Bui
, Frits de Nijs
, Peter J. Stuckey
:
Residential Power and Battery Data. Zenodo, 2023 - [d12]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.0. Zenodo, 2023 [all versions] - [d11]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.1. Zenodo, 2023 [all versions] - [d10]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.2. Zenodo, 2023 [all versions] - [d9]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.3. Zenodo, 2023 [all versions] - [d8]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.4. Zenodo, 2023 [all versions] - [d7]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.5. Zenodo, 2023 [all versions] - [d6]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.7.6. Zenodo, 2023 [all versions] - [d5]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.8.0. Zenodo, 2023 [all versions] - [d4]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.8.1. Zenodo, 2023 [all versions] - [d3]Guido Tack
, Jip J. Dekker
, Kevin Leo
, Gleb Belov
, Jason Nguyen, Maria Garcia de la Banda
, Peter J. Stuckey
:
MiniZinc. Version 2.8.2. Zenodo, 2023 [all versions] - [i79]Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier:
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. CoRR abs/2303.09791 (2023) - [i78]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Risk-Limiting Audits for Condorcet Elections. CoRR abs/2303.10509 (2023) - [i77]Bojie Shen, Zhe Chen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Tracking Progress in Multi-Agent Path Finding. CoRR abs/2305.08446 (2023) - [i76]Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey:
Scalable Rail Planning and Replanning with Soft Deadlines. CoRR abs/2306.06455 (2023) - [i75]Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva:
Delivering Inflated Explanations. CoRR abs/2306.15272 (2023) - [i74]Shizhe Zhao, Daniel Harabor, Peter J. Stuckey:
Reducing Redundant Work in Jump Point Search. CoRR abs/2306.15928 (2023) - [i73]Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey:
On Formal Feature Attribution and Its Approximation. CoRR abs/2307.03380 (2023) - [i72]Anubhav Singh
, Miquel Ramírez
, Nir Lipovetzky, Peter J. Stuckey:
Lifted Sequential Planning with Lazy Constraint Generation Solvers. CoRR abs/2307.08242 (2023) - [i71]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR abs/2307.10972 (2023) - [i70]Sandun Rajapaksa, Lloyd Allison
, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu:
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. CoRR abs/2308.06292 (2023) - [i69]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. CoRR abs/2308.11234 (2023) - [i68]Jinqiang Yu, Graham Farr, Alexey Ignatiev
, Peter J. Stuckey:
Anytime Approximate Formal Feature Attribution. CoRR abs/2312.06973 (2023) - 2022
- [j127]Bojie Shen
, Muhammad Aamir Cheema
, Daniel Damir Harabor
, Peter J. Stuckey
:
Fast optimal and bounded suboptimal Euclidean pathfinding. Artif. Intell. 302: 103624 (2022) - [j126]Sandun Rajapaksa, Dinithi Sumanaweera, Arthur M. Lesk
, Lloyd Allison
, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson
, Arun Siddharth Konagurthu:
On the reliability and the limits of inference of amino acid sequence alignments. Bioinform. 38(Supplement_1): i255-i263 (2022) - [j125]Edward Lam
, Pierre Le Bodic
, Daniel Harabor
, Peter J. Stuckey
:
Branch-and-cut-and-price for multi-agent path finding. Comput. Oper. Res. 144: 105809 (2022) - [j124]Edward Lam
, Guy Desaulniers
, Peter J. Stuckey:
Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations. Comput. Oper. Res. 145: 105870 (2022) - [j123]Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey:
MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. 23: 26:1-26:47 (2022) - [c356]Ali Ugur Guler, Emir Demirovic, Jeffrey Chan
, James Bailey, Christopher Leckie, Peter J. Stuckey:
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. AAAI 2022: 3749-3757 - [c355]Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva:
Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI 2022: 3776-3785 - [c354]Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. AAAI 2022: 9313-9322 - [c353]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search. AAAI 2022: 10256-10265 - [c352]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS 2022: 169-173 - [c351]Bojie Shen
, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Improving Time-Dependent Contraction Hierarchies. ICAPS 2022: 338-347 - [c350]Alexander Ek
, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Explaining Propagation for Gini and Spread with Variable Mean. CP 2022: 21:1-21:16 - [c349]Hendrik Bierlee
, Graeme Gange
, Guido Tack
, Jip J. Dekker
, Peter J. Stuckey
:
Coupling Different Integer Encodings for SAT. CPAIOR 2022: 44-63 - [c348]Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
A FastMap-Based Algorithm for Block Modeling. CPAIOR 2022: 232-248 - [c347]Peter J. Stuckey
, Guido Tack
:
Enumerated Types and Type Extensions for MiniZinc. CPAIOR 2022: 374-389 - [c346]Floyd Everest
, Michelle L. Blom
, Philip B. Stark
, Peter J. Stuckey
, Vanessa Teague
, Damjan Vukcevic
:
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 525-540 - [c345]Michelle L. Blom
, Peter J. Stuckey
, Vanessa Teague
, Damjan Vukcevic
:
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. Financial Cryptography Workshops 2022: 366-380 - [c344]Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan
, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri:
Modelling Zeros in Blockmodelling. PAKDD (2) 2022: 187-198 - [c343]Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Multi-Train Path Finding Revisited. SOCS 2022: 38-46 - [c342]Ryan Hechenberger, Peter J. Stuckey, Pierre Le Bodic, Daniel Damir Harabor:
Dual Euclidean Shortest Path Search (Extended Abstract). SOCS 2022: 285-287 - [d2]Guido Tack
, Jip J. Dekker
, Gleb Belov
, Kevin Leo
, Jason Nguyen, Peter J. Stuckey
:
MiniZinc. Version 2.6.4. Zenodo, 2022 [all versions] - [i67]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. CoRR abs/2205.14634 (2022) - [i66]Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022) - [i65]Floyd Everest
, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. CoRR abs/2206.14605 (2022) - [i64]Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic:
Multi-Target Search in Euclidean Space with Ray Shooting (Full Version). CoRR abs/2207.02436 (2022) - [i63]Floyd Everest
, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CoRR abs/2209.03881 (2022) - [i62]Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke
, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena
, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero
, Rui Yuan:
Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR abs/2212.10723 (2022) - 2021
- [j122]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) - [j121]Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey, Pierre Le Bodic:
Learning Optimal Decision Sets and Lists with SAT. J. Artif. Intell. Res. 72: 1251-1279 (2021) - [j120]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) - [j119]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) - [j118]Bishoksan Kafle
, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
:
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021) - [c341]Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. AAAI 2021: 3733-3741 - [c340]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 - [c339]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 - [c338]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 - [c337]Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. AAAI 2021: 12267-12274 - [c336]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Jump Point Search with Temporal Obstacles. ICAPS 2021: 184-191 - [c335]Bojie Shen
, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Contracting and Compressing Shortest Path Databases. ICAPS 2021: 322-330 - [c334]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 - [c333]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. AAMAS 2021: 1581-1583 - [c332]Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson
, Lloyd Allison
, Arthur M. Lesk
, Arun Siddharth Konagurthu:
On identifying statistical redundancy at the level of amino acid subsequences. BIBM 2021: 64-71 - [c331]Ilankaikone Senthooran
, Pierre Le Bodic
, Peter J. Stuckey
:
Optimising Training for Service Delivery. CP 2021: 48:1-48:15 - [c330]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 - [c329]Michelle L. Blom
, Philip B. Stark
, Peter J. Stuckey
, Vanessa Teague
, Damjan Vukcevic
:
Auditing Hamiltonian Elections. Financial Cryptography Workshops 2021: 235-250 - [c328]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. IJCAI 2021: 4127-4135 - [c327]Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465 - [c326]Graeme Gange
, Jorge A. Navas
, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey
:
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c325]Bishoksan Kafle
, Graeme Gange
, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey
:
Lightweight Nontermination Inference with CHCs. SEFM 2021: 383-402 - [c324]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 - [c323]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 - [c322]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 - [c321]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 - [c320]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] - [i61]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) - [i60]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. CoRR abs/2102.08510 (2021) - [i59]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. CoRR abs/2102.08689 (2021) - [i58]Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search. CoRR abs/2103.07116 (2021) - [i57]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) - [i56]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) - [i55]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
:
Transformation-Enabled Precondition Inference. CoRR abs/2108.03178 (2021) - [i54]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) - [i53]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. CoRR abs/2112.09921 (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) - [j115]Edward Lam
, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
:
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum 1(3) (2020) - [c319]Emir Demirovic, Peter J. Stuckey, Tias Guns
, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan:
Dynamic Programming for Predict+Optimise. AAAI 2020: 1444-1451 - [c318]Alexander Ek
, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Modelling and Solving Online Optimisation Problems. AAAI 2020: 1477-1485 - [c317]Linnea Ingmar
, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack:
Modelling Diversity of Solutions. AAAI 2020: 1528-1535 - [c316]Jayanta Mandi
, Emir Demirovic, Peter J. Stuckey, Tias Guns
:
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI 2020: 1603-1610 - [c315]Felix Winter, Nysret Musliu
, Peter J. Stuckey:
Explaining Propagators for String Edit Distance Constraints. AAAI 2020: 1676-1683 - [c314]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 - [c313]Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey:
Teaching Constraint Programming Using Fable-Based Learning. AAAI 2020: 13366-13373 - [c312]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 - [c311]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 - [c310]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 - [c309]Frits de Nijs, Peter J. Stuckey:
Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision Making. AAMAS 2020: 303-311 - [c308]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 - [c307]Roberto Amadini
, Graeme Gange
, Peter J. Stuckey
:
Dashed Strings and the Replace(-all) Constraint. CP 2020: 3-20 - [c306]Gustav Björdal
, Pierre Flener
, Justin Pearson
, Peter J. Stuckey
, Guido Tack
:
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP 2020: 55-71 - [c305]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 - [c304]Graeme Gange
, Peter J. Stuckey
:
The Argmax Constraint. CP 2020: 323-337 - [c303]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 - [c302]Edward Lam
, Peter J. Stuckey
, Sven Koenig
, T. K. Satish Kumar:
Exact Approaches to the Multi-agent Collective Construction Problem. CP 2020: 743-758 - [c301]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 - [c300]Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CP 2020: 952-970 - [c299]Graeme Gange, Jeremias Berg
, Emir Demirovic, Peter J. Stuckey:
Core-Guided and Core-Boosted Search for CP. CPAIOR 2020: 205-221 - [c298]Yagmur S. Gök
, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk:
Robust Resource Planning for Aircraft Ground Operations. CPAIOR 2020: 222-238 - [c297]Roberto Amadini, Graeme Gange, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c296]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 - [c295]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 - [c294]Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig:
Iterative-Deepening Conflict-Based Search. IJCAI 2020: 4084-4090 - [c293]Bojie Shen
, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey:
Euclidean Pathfinding with Compressed Path Databases. IJCAI 2020: 4229-4235 - [c292]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 - [c291]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 - [c290]Eli Boyarski, Daniel Harabor, Peter J. Stuckey, Pierre Le Bodic, Ariel Felner:
F-Cardinal Conflicts in Conflict-Based Search. SOCS 2020: 123-124 - [c289]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 - [c288]Tuhin Chakraborty
, Adel Nadjaran Toosi
, Carlo Kopp, Peter J. Stuckey, Julien Mahet:
Joint Host-Network Power Scaling with Minimizing VM Migration in SDN-enabled Cloud Data Centers. UCC 2020: 1-12 - [d1]Jo Devriendt
, Stephan Gocht
, Emir Demirovic
, Jakob Nordström
, Peter J. Stuckey
:
Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning". Zenodo, 2020 - [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
- [j114]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) - [j113]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) - [j112]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) - [j111]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) - [c287]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 - [c286]Hang Ma, Daniel Harabor, Peter J. Stuckey
, Jiaoyang Li, Sven Koenig:
Searching with Consistent Prioritization for Multi-Agent Path Finding. AAAI 2019: 7643-7650 - [c285]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 - [c284]Graeme Gange, Daniel Harabor, Peter J. Stuckey:
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS 2019: 155-162 - [c283]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 - [c282]Graeme Gange, Jorge A. Navas, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey
:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - [c281]Mak Andrlon
, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey
:
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH 2019: 159-166 - [c280]Gustav Björdal
, Pierre Flener
, Justin Pearson
, Peter J. Stuckey
:
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP 2019: 37-53 - [c279]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 - [c278]Peter J. Stuckey
, Guido Tack
:
Compiling Conditional Constraints. CP 2019: 384-400 - [c277]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 - [c276]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 - [c275]Jeremias Berg
, Emir Demirovic, Peter J. Stuckey:
Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR 2019: 39-56 - [c274]Timo Berthold, Peter J. Stuckey, Jakob Witzig:
Local Rapid Learning for Integer Programs. CPAIOR 2019: 67-83 - [c273]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 - [c272]Moli Yang, Andreas Schutt, Peter J. Stuckey:
Time Table Edge Finding with Energy Variables. CPAIOR 2019: 633-642 - [c271]Michelle L. Blom
, Peter J. Stuckey, Vanessa J. Teague:
Election Manipulation 100. Financial Cryptography Workshops 2019: 211-225 - [c270]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 - [c269]Massimo Bono, Alfonso Emilio Gerevini
, Daniel Damir Harabor, Peter J. Stuckey:
Path Planning with CPD Heuristics. IJCAI 2019: 1199-1205 - [c268]Daniel Damir Harabor, Tansel Uras, Peter J. Stuckey
, Sven Koenig:
Regarding Jump Point Search and Subgoal Graphs. IJCAI 2019: 1241-1248 - [c267]Edward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey
:
Branch-and-Cut-and-Price for Multi-Agent Pathfinding. IJCAI 2019: 1289-1296 - [c266]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 - [c265]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 - [c264]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 - [c263]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
- [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. Eur. J. Oper. Res. 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. Informaticae 158(4): 297-326 (2018) - [j108]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) - [c262]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
Lagrangian Constrained Community Detection. AAAI 2018: 2983-2990 - [c261]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Sweep-Based Propagation for String Constraint Solving. AAAI 2018: 6557-6564 - [c260]David Cheng Zarate, Pierre Le Bodic
, Tim Dwyer, Graeme Gange, Peter J. Stuckey:
Optimal Sankey Diagrams Via Integer Programming. PacificVis 2018: 135-139 - [c259]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating Regular Membership with Dashed Strings. CP 2018: 13-29 - [c258]Jip J. Dekker
, Maria Garcia de la Banda
, Andreas Schutt
, Peter J. Stuckey
, Guido Tack
:
Solver-Independent Large Neighbourhood Search. CP 2018: 81-98 - [c257]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 - [c256]Graeme Gange, Peter J. Stuckey:
Sequential Precede Chain for Value Symmetry Elimination. CP 2018: 144-159 - [c255]Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating lex, find and replace with Dashed Strings. CPAIOR 2018: 18-34 - [c254]Emir Demirovic, Peter J. Stuckey:
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. CPAIOR 2018: 135-152 - [c253]Nysret Musliu
, Andreas Schutt, Peter J. Stuckey:
Solver Independent Rotating Workforce Scheduling. CPAIOR 2018: 429-445 - [c252]Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
:
Breaking Symmetries with Lex Implications. FLOPS 2018: 182-197 - [c251]Gustav Björdal
, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI 2018: 98-105 - [c250]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 - [c249]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 - [c248]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 - [c247]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 - [c246]Daniel Damir Harabor, Peter J. Stuckey:
Forward Search in Contraction Hierarchies. SOCS 2018: 55-62 - [c245]Michelle L. Blom
, Peter J. Stuckey, Vanessa J. Teague:
Computing the Margin of Victory in Preferential Parliamentary Elections. E-Vote-ID 2018: 1-16 - [c244]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
- [j107]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) - [j106]Stefan Kreter, Andreas Schutt
, Peter J. Stuckey:
Using constraint programming for solving RCPSP/max-cal. Constraints An Int. J. 22(3): 432-462 (2017) - [c243]Toby O. Davies, Graeme Gange, Peter J. Stuckey:
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI 2017: 787-793 - [c242]Graeme Gange, Pierre Ganty, Peter J. Stuckey:
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA 2017: 67-83 - [c241]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 - [c240]Roberto Amadini, Graeme Gange, Peter J. Stuckey
, Guido Tack:
A Novel Approach to String Constraint Solving. CP 2017: 3-20 - [c239]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
A Declarative Approach to Constrained Community Detection. CP 2017: 477-494 - [c238]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 - [c237]Diego de Uña, Graeme Gange
, Peter Schachte
, Peter J. Stuckey
:
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130 - [c236]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 - [c235]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 - [c234]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
- [j105]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) - [j104]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) - [c233]Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI 2016: 3383-3389 - [c232]Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey:
Symmetry declarations for MiniZinc. ACSW 2016: 20 - [c231]Peter J. Stuckey:
Discrete Optimization for Agents. AAMAS 2016: 3 - [c230]Gleb Belov
, Peter J. Stuckey, Guido Tack, Mark Wallace
:
Improved Linearization of Constraint Programming Models. CP 2016: 49-65 - [c229]Michael Codish
, Graeme Gange
, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries in Graphs: The Nauty Way. CP 2016: 157-172 - [c228]Diego de Uña, Graeme Gange
, Peter Schachte
, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206 - [c227]Thibaut Feydy, Peter J. Stuckey:
Interval Constraints with Learning: Application to Air Traffic Control. CP 2016: 224-232 - [c226]Andreas Schutt
, Peter J. Stuckey:
Explaining Producer/Consumer Constraints. CP 2016: 438-454 - [c225]Ignasi Abío, Graeme Gange
, Valentin Mayer-Eichberger, Peter J. Stuckey:
On CNF Encodings of Decision Diagrams. CPAIOR 2016: 1-17 - [c224]Geoffrey Chu, Graeme Gange
, Peter J. Stuckey:
Lagrangian Decomposition via Sub-problem Search. CPAIOR 2016: 65-80 - [c223]Diego de Uña, Graeme Gange
, Peter Schachte
, Peter J. Stuckey:
Weighted Spanning Tree Constraint with Explanations. CPAIOR 2016: 98-107 - [c222]Thorsten Ehlers, Peter J. Stuckey:
Parallelizing Constraint Programming with Learning. CPAIOR 2016: 142-158 - [c221]Daniel Harabor, Peter J. Stuckey:
Rail Capacity Modelling with Constraint Programming. CPAIOR 2016: 170-186 - [c220]Wenxi Wang, Harald Søndergaard
, Peter J. Stuckey:
A Bit-Vector Solver with Word-Level Propagation. CPAIOR 2016: 374-391 - [c219]Michelle L. Blom
, Vanessa Teague, Peter J. Stuckey, Ron Tidhar:
Efficient Computation of Exact IRV Margins. ECAI 2016: 480-488 - [c218]Graeme Gange, Peter J. Stuckey:
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) 2016: 13:1-13:14 - [c217]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. IJCAI 2016: 4140-4144 - [c216]Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey
, Guido Tack:
MiniZinc with Strings. LOPSTR 2016: 59-75 - [c215]Graeme Gange
, Jorge A. Navas, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211 - [c214]Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
Lagrangian Constrained Clustering. SDM 2016: 288-296 - [c213]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
- [j103]Geoffrey Chu, Peter J. Stuckey:
Dominance breaking constraints. Constraints An Int. J. 20(2): 155-182 (2015) - [j102]Mihai Bilauca, Graeme Gange
, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey:
Automatic Minimal-Height Table Layout. INFORMS J. Comput. 27(3): 449-461 (2015) - [j101]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) - [j100]Rafael Caballero
, Peter J. Stuckey, Antonio Tenorio-Fornes:
Two type extensions for the constraint modeling language MiniZinc. Sci. Comput. Program. 111: 156-189 (2015) - [j99]Graeme Gange
, Jorge A. Navas, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey
:
Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. 15(4-5): 526-542 (2015) - [c212]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 - [c211]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey
, Nir Lipovetzky:
Sequencing Operator Counts. ICAPS 2015: 61-69 - [c210]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 - [c209]Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey:
Encoding Linear Constraints with Implication Chains to CNF. CP 2015: 3-11 - [c208]Stefan Kreter, Andreas Schutt
, Peter J. Stuckey:
Modeling and Solving Project Scheduling with Calendars. CP 2015: 262-278 - [c207]Andrea Rendl, Tias Guns
, Peter J. Stuckey, Guido Tack:
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP 2015: 376-392 - [c206]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 - [c205]Geoffrey Chu, Peter J. Stuckey:
Learning Value Heuristics for Constraint Programming. CPAIOR 2015: 108-123 - [c204]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 - [c203]Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey, Peter J. Stuckey:
Generalized Modularity for Community Detection. ECML/PKDD (2) 2015: 655-670 - [c202]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
- [j98]Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer:
The MiniZinc Challenge 2008-2013. AI Mag. 35(2): 55-60 (2014) - [j97]Kathryn Glenn Francis, Peter J. Stuckey:
Explaining circuit propagation. Constraints An Int. J. 19(1): 1-29 (2014) - [j96]Maria Garcia de la Banda
, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
:
The future of optimization technology. Constraints An Int. J. 19(2): 126-138 (2014) - [j95]Geoffrey Chu, Maria Garcia de la Banda
, Christopher Mears, Peter J. Stuckey:
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19(4): 434-462 (2014) - [j94]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 J. Comput. 26(4): 658-676 (2014) - [j93]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) - [j92]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) - [c201]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Fragment-Based Planning Using Column Generation. ICAPS 2014 - [c200]Nir Lipovetzky, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey:
Planning for Mining Operations with Time and Resource Constraints. ICAPS 2014 - [c199]Ignasi Abío, Peter J. Stuckey:
Encoding Linear Constraints into SAT. CP 2014: 75-91 - [c198]Roberto Amadini
, Peter J. Stuckey:
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. CP 2014: 108-124 - [c197]Geoffrey Chu, Peter J. Stuckey:
Nested Constraint Programs. CP 2014: 240-255 - [c196]Kathryn Francis, Peter J. Stuckey:
Loop Untangling. CP 2014: 340-355 - [c195]Andrea Rendl, Guido Tack, Peter J. Stuckey:
Stochastic MiniZinc. CP 2014: 636-645 - [c194]Christopher Mears, Andreas Schutt
, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
:
Modelling with Option Types in MiniZinc. CPAIOR 2014: 88-103 - [c193]Gleb Belov
, Natashia Boland
, Martin W. P. Savelsbergh, Peter J. Stuckey
:
Local Search for a Cargo Assembly Planning Problem. CPAIOR 2014: 159-175 - [c192]Kim Marriott, Peter J. Stuckey, Michael Wybrow
:
Seeing Around Corners: Fast Orthogonal Connector Routing. Diagrams 2014: 31-37 - [c191]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
- [j91]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 Bioinform. 14(S-2): S7 (2013) - [j90]Tom Schrijvers
, Guido Tack, Pieter Wuille
, Horst Samulowitz, Peter J. Stuckey:
Search combinators. Constraints An Int. J. 18(2): 269-305 (2013) - [j89]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) - [j88]Andreas Schutt
, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
:
Solving RCPSP/max by lazy clause generation. J. Sched. 16(3): 273-289 (2013) - [j87]Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey:
Stable model semantics for founded bounds. Theory Pract. Log. Program. 13(4-5): 517-532 (2013) - [j86]Graeme Gange
, Jorge A. Navas, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey:
Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. 13(4-5): 593-607 (2013) - [j85]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. Theory Pract. Log. Program. 13(4-5): 721-735 (2013) - [c190]Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013 - [c189]Graeme Gange
, Harald Søndergaard
, Peter J. Stuckey, Peter Schachte
:
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230 - [c188]Peter J. Stuckey:
Those Who Cannot Remember the Past Are Condemned to Repeat It. CP 2013: 5-6 - [c187]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 - [c186]Geoffrey Chu, Peter J. Stuckey:
Dominance Driven Search. CP 2013: 217-229 - [c185]Kathryn Francis, Jorge A. Navas, Peter J. Stuckey:
Modelling Destructive Assignments. CP 2013: 315-330 - [c184]Graeme Gange
, Peter J. Stuckey, Pascal Van Hentenryck:
Explaining Propagators for Edge-Valued Decision Diagrams. CP 2013: 340-355 - [c183]Andreas Schutt
, Thibaut Feydy, Peter J. Stuckey:
Scheduling Optional Tasks with Explanation. CP 2013: 628-644 - [c182]Andreas Schutt
, Thibaut Feydy, Peter J. Stuckey:
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR 2013: 234-250 - [c181]Peter J. Stuckey, Guido Tack:
MiniZinc with Functions. CPAIOR 2013: 268-283 - [c180]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 - [c179]Arun Siddharth Konagurthu, Lloyd Allison
, David Abramson
, Peter J. Stuckey, Arthur M. Lesk
:
Statistical Inference of Protein "LEGO Bricks". ICDM 2013: 1091-1096 - [c178]Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey:
Breaking Symmetries in Graph Representation. IJCAI 2013: 510-516 - [c177]Rafael Caballero
, Peter J. Stuckey, Antonio Tenorio-Fornes
:
Finite type extensions in constraint programming. PPDP 2013: 217-227 - [c176]Graeme Gange
, Jorge A. Navas, Peter Schachte
, Harald Søndergaard
, Peter J. Stuckey:
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24 - [c175]Peter J. Stuckey:
There Are No CNF Problems. SAT 2013: 19-21 - [c174]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
- [j84]Geoffrey Chu, Peter J. Stuckey:
A complete solution to the Maximum Density Still Life Problem. Artif. Intell. 184-185: 1-16 (2012) - [j83]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 Mag. 33(3): 115- (2012) - [j82]Geoffrey Chu, Maria Garcia de la Banda
, Peter J. Stuckey:
Exploiting subproblem dominance in constraint programming. Constraints An Int. J. 17(1): 1-38 (2012) - [c173]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Explaining alldifferent. ACSC 2012: 115-124 - [c172]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 - [c171]Geoffrey Chu, Peter J. Stuckey:
A Generic Method for Identifying and Exploiting Dominance Relations. CP 2012: 6-22 - [c170]Ignasi Abío, Peter J. Stuckey:
Conflict Directed Lazy Decomposition. CP 2012: 70-85 - [c169]Geoffrey Chu, Peter J. Stuckey:
Inter-instance Nogood Learning in Constraint Programming. CP 2012: 238-247 - [c168]Kathryn Francis, Sebastian Brand, Peter J. Stuckey:
Optimisation Modelling for Software Developers. CP 2012: 274-289 - [c167]Hanyu Gu
, Peter J. Stuckey, Mark G. Wallace
:
Maximising the Net Present Value of Large Resource-Constrained Projects. CP 2012: 767-781 - [c166]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Explaining Flow-Based Propagation. CPAIOR 2012: 146-162 - [c165]Graeme Gange
, Peter J. Stuckey:
Explaining Propagators for s-DNNF Circuits. CPAIOR 2012: 195-210 - [c164]Andreas Schutt
, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace
:
Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR 2012: 362-378 - [c163]Michael Wybrow
, Kim Marriott, Peter J. Stuckey:
Orthogonal Hyperedge Routing. Diagrams 2012: 51-64 - [c162]Graeme Gange
, Kim Marriott, Peter J. Stuckey:
Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22 - [c161]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo
, Peter J. Stuckey:
A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119 - [c160]Broes De Cat, Marc Denecker
, Peter J. Stuckey:
Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) 2012: 201-211 - [c159]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]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CoRR abs/1208.3015 (2012) - 2011
- [j81]Arun Siddharth Konagurthu, Lloyd Allison
, Peter J. Stuckey, Arthur M. Lesk
:
Piecewise linear approximation of protein structures using the principle of minimum message length. Bioinform. 27(13): 43-51 (2011) - [j80]Alex D. Stivala
, Michael Wybrow
, Anthony Wirth
, James C. Whisstock
, Peter J. Stuckey:
Automatic generation of protein structure cartoons with Pro-origami. Bioinform. 27(23): 3315-3316 (2011) - [j79]Jakob Puchinger
, Peter J. Stuckey, Mark G. Wallace
, Sebastian Brand:
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Constraints An Int. J. 16(1): 77-99 (2011) - [j78]Davaatseren Baatar
, Natashia Boland
, Sebastian Brand, Peter J. Stuckey
:
CP and IP approaches to cancer radiotherapy delivery optimization. Constraints An Int. J. 16(2): 173-194 (2011) - [j77]Andreas Schutt
, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
:
Explaining the cumulative propagator. Constraints An Int. J. 16(3): 250-282 (2011) - [j76]Graeme Gange
, Peter J. Stuckey, Radoslaw Szymanek:
MDD propagators with explanation. Constraints An Int. J. 16(4): 407-429 (2011) - [j75]Maria Garcia de la Banda
, Peter J. Stuckey, Geoffrey Chu:
Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. 23(1): 120-137 (2011) - [c158]Andreas Schutt
, Peter J. Stuckey, Andrew R. Verden:
Optimal Carpet Cutting. CP 2011: 69-84 - [c157]Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey:
Half Reification and Flattening. CP 2011: 286-301 - [c156]Amit Metodi, Michael Codish
, Vitaly Lagoon, Peter J. Stuckey:
Boolean Equi-propagation for Optimized SAT Encoding. CP 2011: 621-636 - [c155]Tom Schrijvers
, Guido Tack, Pieter Wuille
, Horst Samulowitz, Peter J. Stuckey
:
Search Combinators. CP 2011: 774-788 - [c154]Graeme Gange
, Kim Marriott, Peter Moulder, Peter J. Stuckey:
Optimal automatic table layout. ACM Symposium on Document Engineering 2011: 23-32 - [c153]Leslie De Koninck, Sebastian Brand, Peter J. Stuckey:
Constraints in Non-Boolean Contexts. ICLP (Technical Communications) 2011: 117-127 - [c152]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
, Christopher Mears:
Symmetries and Lazy Clause Generation. IJCAI 2011: 516-521 - [c151]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: 273-286 - [c150]Pieter Wuille
, Tom Schrijvers
, Horst Samulowitz, Guido Tack, Peter J. Stuckey:
Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85 - [i19]Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Boolean Equi-propagation for Optimized SAT Encoding. CoRR abs/1104.4617 (2011) - [i18]Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs. CoRR abs/1109.2139 (2011) - 2010
- [j74]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. Bioinform. 26(2): 161-167 (2010) - [j73]Alex D. Stivala
, Peter J. Stuckey, Anthony Wirth
:
Fast and accurate protein substructure searching with simulated annealing and GPUs. BMC Bioinform. 11: 446 (2010) - [j72]Peter J. Stuckey:
Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). Constraints An Int. J. 15(2): 149-150 (2010) - [j71]Peter J. Stuckey, Ralph Becket, Julien Fischer:
Philosophy of the MiniZinc challenge. Constraints An Int. J. 15(3): 307-316 (2010) - [j70]Andreas Schutt
, Peter J. Stuckey
:
Incremental Satisfiability and Implication for UTVPI Constraints. INFORMS J. Comput. 22(4): 514-527 (2010) - [j69]Graeme Gange, Peter J. Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. 38: 307-338 (2010) - [j68]Alex D. Stivala
, Peter J. Stuckey
, Maria Garcia de la Banda
, Manuel V. Hermenegildo
, Anthony Wirth
:
Lock-free parallel dynamic programming. J. Parallel Distributed Comput. 70(8): 839-848 (2010) - [c149]Nicholas Downing, Peter J. Stuckey, Anthony Wirth:
Improved consensus clustering via linear programming. ACSC 2010: 61-70 - [c148]Peter J. Stuckey:
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. CPAIOR 2010: 5-9 - [c147]Timo Berthold, Thibaut Feydy, Peter J. Stuckey:
Rapid Learning for Binary Programs. CPAIOR 2010: 51-55 - [c146]Geoffrey Chu, Maria Garcia de la Banda
, Peter J. Stuckey:
Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR 2010: 71-86 - [c145]Graeme Gange
, Peter J. Stuckey, Kim Marriott:
Optimal k-Level Planarization and Crossing Minimization. GD 2010: 238-249 - [i17]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 abs/1009.0347 (2010)
2000 – 2009
- 2009
- [j67]Alex D. Stivala
, Anthony Wirth
, Peter J. Stuckey
:
Tableau-based protein substructure search using quadratic programming. BMC Bioinform. 10 (2009) - [j66]Thibaut Feydy, Peter J. Stuckey:
Propagating systems of dense linear integer constraints. Constraints An Int. J. 14(2): 235-253 (2009) - [j65]Olga Ohrimenko
, Peter J. Stuckey, Michael Codish
:
Propagation via lazy clause generation. Constraints An Int. J. 14(3): 357-391 (2009) - [j64]Tom Schrijvers
, Peter J. Stuckey, Philip Wadler:
Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009) - [j63]Geoffrey Chu, Aaron Harwood, Peter J. Stuckey:
Cache Conscious Data Structures for Boolean Satisfiability Solvers. J. Satisf. Boolean Model. Comput. 6(1-3): 99-120 (2009) - [j62]Christian Schulte, Peter J. Stuckey:
Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2) (2009) - [c144]Geoffrey Chu, Christian Schulte, Peter J. Stuckey:
Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241 - [c143]Geoffrey Chu, Peter J. Stuckey:
Minimizing the Maximum Number of Open Stacks by Customer Search. CP 2009: 242-257 - [c142]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
:
Using Relaxations in Maximum Density Still Life. CP 2009: 258-273 - [c141]Thibaut Feydy, Peter J. Stuckey:
Lazy Clause Generation Reengineered. CP 2009: 352-366 - [c140]Alan M. Frisch
, Peter J. Stuckey:
The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382 - [c139]Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack:
Maintaining State in Propagation Solvers. CP 2009: 692-706 - [c138]Andreas Schutt
, Thibaut Feydy, Peter J. Stuckey, Mark Wallace
:
Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761 - [c137]Michael Wybrow
, Kim Marriott, Peter J. Stuckey:
Orthogonal Connector Routing. GD 2009: 219-231 - [c136]Leslie De Koninck, Gregory J. Duck
, Peter J. Stuckey:
Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488 - [c135]Michael Codish
, Samir Genaim
, Peter J. Stuckey:
A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266 - [i16]Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand:
Branch-and-Price Solving in G12. Models and Algorithms for Optimization in Logistics 2009 - 2008
- [j61]Arun Siddharth Konagurthu, Peter J. Stuckey
, Arthur M. Lesk
:
Structural search and retrieval using a tableau representation of protein folding patterns. Bioinform. 24(5): 645-651 (2008) - [j60]Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda
, Mark Wallace
:
The Design of the Zinc Modelling Language. Constraints An Int. J. 13(3): 229-267 (2008) - [j59]Natashia Boland
, Barry D. Hughes
, Liam T. G. Merlot, Peter J. Stuckey
:
New integer linear programming approaches for course timetabling. Comput. Oper. Res. 35(7): 2209-2233 (2008) - [j58]Martin Sulzmann, Peter J. Stuckey
:
HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008) - [j57]Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination. J. Satisf. Boolean Model. Comput. 5(1-4): 193-215 (2008) - [j56]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. 14(4): 19:1-19:38 (2008) - [j55]Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): 2:1-2:43 (2008) - [j54]Michael Codish
, Vitaly Lagoon, Peter J. Stuckey:
Logic programming with satisfiability. Theory Pract. Log. Program. 8(1): 121-128 (2008) - [j53]Peter J. Stuckey:
Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. Theory Pract. Log. Program. 8(2): 242-246 (2008) - [j52]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. 14(6): 1293-1300 (2008) - [c134]Olga Ohrimenko
, Peter J. Stuckey:
Modelling for Lazy Clause Generation. CATS 2008: 27-37 - [c133]Samuel J. Huston, Jakob Puchinger, Peter J. Stuckey:
The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47 - [c132]Jakob Puchinger
, Peter J. Stuckey, Mark Wallace
, Sebastian Brand:
From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232 - [c131]Graeme Gange
, Kim Marriott, Peter J. Stuckey:
Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59 - [c130]Graeme Gange, Vitaly Lagoon, Peter J. Stuckey:
Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509 - [c129]Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
:
Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47 - [c128]Christian Schulte, Peter J. Stuckey:
Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346 - [c127]Gregory J. Duck
, Leslie De Koninck, Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545 - [c126]Michael Codish
, Vitaly Lagoon, Peter J. Stuckey:
Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753 - [c125]Sebastian Brand, Gregory J. Duck, Jakob Puchinger
, Peter J. Stuckey:
Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83 - [c124]Jakob Puchinger
, Peter J. Stuckey:
Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89 - [c123]Thibaut Feydy, Andreas Schutt
, Peter J. Stuckey:
Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235 - [c122]Christian Schulte, Peter J. Stuckey:
Dynamic variable elimination during propagation solving. PPDP 2008: 247-257 - [e5]Peter J. Stuckey:
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Lecture Notes in Computer Science 5202, Springer 2008, ISBN 978-3-540-85957-4 [contents] - 2007
- [j51]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 13(6): 557-585 (2007) - [j50]Maria Garcia de la Banda, Peter J. Stuckey:
Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS J. Comput. 19(4): 607-617 (2007) - [j49]Martin Sulzmann, Gregory J. Duck
, Simon L. Peyton Jones, Peter J. Stuckey:
Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007) - [j48]Chiu Wo Choi
, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): 23 (2007) - [c121]Sebastian Brand, Nina Narodytska, Claude-Guy Quimper
, Peter J. Stuckey, Toby Walsh:
Encodings of the Sequence Constraint. CP 2007: 210-224 - [c120]Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck
, Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543 - [c119]Olga Ohrimenko, Peter J. Stuckey, Michael Codish
:
Propagation = Lazy Clause Generation. CP 2007: 544-558 - [c118]Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey:
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR 2007: 1-15 - [c117]Kenneth A. Ross, Peter J. Stuckey, Amélie Marian:
Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236 - [c116]Gregory J. Duck
, Peter J. Stuckey, Martin Sulzmann:
Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239 - [c115]Thibaut Feydy, Peter J. Stuckey:
Propagating dense systems of integer linear equations. SAC 2007: 306-310 - [c114]Kathryn Francis, Peter J. Stuckey:
Constraint propagation for loose constraint graphs. SAC 2007: 334-335 - [i15]Andreas Schutt, Peter J. Stuckey:
Incremental Satisfiability and Implication for UTVPI Constraints. CoRR abs/0709.2961 (2007) - [i14]Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Logic Programming with Satisfiability. CoRR abs/cs/0702072 (2007) - 2006
- [j47]Arun Siddharth Konagurthu, Peter J. Stuckey:
Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds. J. Comput. Biol. 13(3): 668-685 (2006) - [j46]Tom Schrijvers
, Bart Demoen, Maria J. García de la Banda
, Peter J. Stuckey:
Improving PARMA trailing. Theory Pract. Log. Program. 6(6): 609-644 (2006) - [c113]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Type Processing by Constraint Reasoning. APLAS 2006: 1-25 - [c112]Martin Sulzmann, Tom Schrijvers
, Peter J. Stuckey:
Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43 - [c111]Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58 - [c110]Michael Codish
, Vitaly Lagoon, Peter Schachte
, Peter J. Stuckey:
Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245 - [c109]Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey:
A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64 - [c108]Tim Dwyer, Kim Marriott, Peter J. Stuckey:
Fast Node Overlap Removal - Correction. GD 2006: 446-447 - [c107]Gregory J. Duck
, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. ICLP 2006: 117-131 - [c106]Lei Ni, Aaron Harwood
, Peter J. Stuckey:
Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware. MGC@Middleware 2006: 3 - [c105]Peter Hawkins, Peter J. Stuckey:
A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117 - [c104]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: 118-133 - [c103]Rafiq Muhammad, Peter J. Stuckey:
A Stochastic Non-CNF SAT Solver. PRICAI 2006: 120-129 - [c102]Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18 - [r1]Kim Marriott, Peter J. Stuckey
, Mark Wallace
:
Constraint Logic Programming. Handbook of Constraint Programming 2006: 409-452 - [i13]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Islands for SAT. CoRR abs/cs/0607071 (2006) - [i12]Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. CoRR abs/cs/0608016 (2006) - [i11]Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines. CoRR abs/cs/0611009 (2006) - 2005
- [j45]Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. 24: 109-156 (2005) - [j44]Christian Schulte, Peter J. Stuckey:
When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005) - [j43]Peter J. Stuckey, Martin Sulzmann:
A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005) - [j42]Christian Holzbaur, Maria J. García de la Banda
, Peter J. Stuckey, Gregory J. Duck
:
Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. 5(4-5): 503-531 (2005) - [j41]Maria J. García de la Banda
, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
Checking modes of HAL programs. Theory Pract. Log. Program. 5(6): 623-668 (2005) - [c101]Robert Marshall, Steven Bird, Peter J. Stuckey:
Structuring Documents Efficiently. ALTA 2005: 120-126 - [c100]Peter J. Stuckey
, Maria J. García de la Banda
, Michael J. Maher, Kim Marriott, John K. Slaney
, Zoltan Somogyi, Mark Wallace
, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP 2005: 13-16 - [c99]Tim Dwyer, Kim Marriott, Peter J. Stuckey:
Fast Node Overlap Removal. GD 2005: 153-164 - [c98]Michael Wybrow
, Kim Marriott, Peter J. Stuckey:
Incremental Connector Routing. GD 2005: 446-457 - [c97]Peter J. Stuckey
, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP 2005: 9-13 - [c96]Michael Codish
, Vitaly Lagoon, Peter J. Stuckey:
Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340 - [c95]James Bailey, Peter J. Stuckey:
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186 - [c94]Tom Schrijvers
, Peter J. Stuckey, Gregory J. Duck
:
Abstract interpretation for constraint handling rules. PPDP 2005: 218-229 - [c93]Tom Schrijvers
, Bart Demoen, Gregory J. Duck
, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints. RULE@RDP 2005: 93-111 - [i10]Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey:
Improving PARMA Trailing. CoRR abs/cs/0505085 (2005) - [i9]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Improved Inference for Checking Annotations. CoRR abs/cs/0507036 (2005) - [i8]Peter J. Stuckey, Martin Sulzmann:
Type Inference for Guarded Recursive Data Types. CoRR abs/cs/0507037 (2005) - [i7]Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination. CoRR abs/cs/0512067 (2005) - 2004
- [j40]Arun Siddharth Konagurthu, James C. Whisstock
, Peter J. Stuckey:
Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs. J. Bioinform. Comput. Biol. 2(4): 719-746 (2004) - [j39]Kim Marriott, Peter J. Stuckey:
NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(3): 295-312 (2004) - [c92]Kim Marriott, Bernd Meyer, Peter J. Stuckey:
Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394 - [c91]Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717 - [c90]Vitaly Lagoon, Peter J. Stuckey:
Set Domain Propagation Using ROBDDs. CP 2004: 347-361 - [c89]Christian Schulte, Peter J. Stuckey:
Speeding Up Constraint Propagation. CP 2004: 619-633 - [c88]Gregory J. Duck
, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann:
Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63 - [c87]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Improving type error diagnosis. Haskell 2004: 80-91 - [c86]Gregory J. Duck
, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
The Refined Operational Semantics of Constraint Handling Rules. ICLP 2004: 90-104 - [c85]Gregory J. Duck
, Maria J. García de la Banda, Peter J. Stuckey:
Compiling Ask Constraints. ICLP 2004: 105-119 - [c84]Konstantinos Sagonas
, Peter J. Stuckey:
Just enough tabling. PPDP 2004: 78-89 - [p2]Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260 - [p1]Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey:
Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538 - [e4]Yukiyoshi Kameyama, Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, ISBN 3-540-21402-X [contents] - [i6]Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. CoRR abs/cs/0412021 (2004) - [i5]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing Propagation Redundant Constraints in Redundant Modeling. CoRR abs/cs/0412026 (2004) - [i4]Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL. CoRR cs.PL/0408025 (2004) - [i3]Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
Checking modes of HAL programs. CoRR cs.PL/0409038 (2004) - 2003
- [j38]Kim Marriott, Peter J. Stuckey, Vincent W. L. Tam, Weiqing He:
Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints An Int. J. 8(2): 143-171 (2003) - [j37]Warwick Harvey, Peter J. Stuckey:
Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints An Int. J. 8(2): 173-207 (2003) - [j36]Steve Barker, Peter J. Stuckey:
Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003) - [c83]Kim Marriott, Peter J. Stuckey, Martin Sulzmann:
Resource Usage Verification. APLAS 2003: 212-229 - [c82]Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228 - [c81]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy in Redundant Modelling. CP 2003: 229-243 - [c80]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Interactive type debugging in Haskell. Haskell 2003: 72-83 - [c79]Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey:
Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268 - [c78]Peter J. Stuckey, Lei Zheng:
Improving Nogood Recording Using 2SAT. ICTAI 2003: 94-99 - [c77]Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369 - [c76]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371 - [c75]Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny:
Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43 - [c74]Gregory J. Duck
, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90 - [i2]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
The Chameleon Type Debugger (Tool Demonstration). CoRR cs.PL/0311023 (2003) - 2002
- [j35]Warwick Harvey, Peter J. Stuckey, Alan Borning:
Fourier Elimination for Compiling Constraint Hierarchies. Constraints An Int. J. 7(2): 199-219 (2002) - [j34]Bruce Davey, Natashia Boland
, Peter J. Stuckey:
Efficient Intelligent Backtracking Using Linear Programming. INFORMS J. Comput. 14(4): 373-386 (2002) - [j33]Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey:
Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002) - [c73]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI 2002: 28-33 - [c72]Lei Zheng, Peter J. Stuckey:
Improving SAT Using 2SAT. ACSC 2002: 331-340 - [c71]Inga Sitzmann, Peter J. Stuckey:
Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002 - [c70]Peter J. Stuckey, Lei Zheng:
Improving GSAT Using 2SAT. CP 2002: 691-695 - [c69]Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial. FLOPS 2002: 47-66 - [c68]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
:
Exception analysis for non-strict languages. ICFP 2002: 98-109 - [c67]Peter J. Stuckey, Martin Sulzmann:
A theory of overloading. ICFP 2002: 167-178 - [c66]Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey:
A Hybrid Algorithm for the Examination Timetabling Problem. PATAT 2002: 207-231 - [c65]Vitaly Lagoon, Peter J. Stuckey:
Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108 - [c64]David Overton, Zoltan Somogyi, Peter J. Stuckey:
Constraint-based mode analysis of mercury. PPDP 2002: 109-120 - [c63]Zoltan Somogyi, Peter J. Stuckey:
Using the heap to eliminate stack accesses. PPDP 2002: 121-132 - [e3]Peter J. Stuckey:
Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401, Springer 2002, ISBN 3-540-43930-7 [contents] - 2001
- [j32]Greg J. Badros, Alan Borning, Peter J. Stuckey:
The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput. Hum. Interact. 8(4): 267-306 (2001) - [c62]Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning:
Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376 - [c61]Vitaly Lagoon, Peter J. Stuckey:
A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310 - [c60]Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89 - [c59]Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur:
Building Constraint Solvers with HAL. ICLP 2001: 90-104 - [c58]Michael Codish
, Samir Genaim
, Harald Søndergaard
, Peter J. Stuckey:
Higher-Precision Groundness Analysis. ICLP 2001: 135-149 - [c57]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
:
Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62 - [c56]Christian Schulte, Peter J. Stuckey:
When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126 - [c55]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann:
Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92 - [c54]Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey:
Cost-based Unbalanced R-Trees. SSDBM 2001: 203-212 - 2000
- [j31]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000) - [j30]Manuel V. Hermenegildo
, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000) - [c53]Inga Sitzmann, Peter J. Stuckey:
O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000: 127-134 - [c52]Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott:
Model Checking in HAL. Computational Logic 2000: 1270-1284 - [c51]Inga Sitzmann, Peter J. Stuckey:
Improving Temporal Joins Using Histograms. DEXA 2000: 488-498 - [c50]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A model for inter-module analysis and optimizing compilation. LOPSTR 2000 - [c49]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 - [e2]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents] - [i1]Kevin Glynn, Martin Sulzmann, Peter J. Stuckey:
Type Classes and Constraint Handling Rules. CoRR cs.PL/0006034 (2000)
1990 – 1999
- 1999
- [j29]Peter J. Stuckey, Vincent W. L. Tam:
Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. Int. J. Artif. Intell. Tools 8(4): 363-384 (1999) - [j28]Kim Marriott, Peter J. Stuckey:
Book reviews. Intell. 10(2): 39-47 (1999) - [j27]Michael Codish, Harald Søndergaard
, Peter J. Stuckey:
Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999) - [c48]Bart Demoen, Maria J. García de la Banda
, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
An Overview of HAL. CP 1999: 174-188 - [c47]Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
Herbrand Constraint Solving in HAL. ICLP 1999: 260-274 - [c46]Greg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey:
Constraint Cascading Style Sheets for the Web. ACM Symposium on User Interface Software and Technology 1999: 73-82 - 1998
- [j26]Peter J. Stuckey, Vincent W. L. Tam:
Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. J. Funct. Log. Program. 1998(2) (1998) - [j25]Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
:
Differential Methods in Logic Program Analysis. J. Log. Program. 35(1): 1-37 (1998) - [j24]Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey:
The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3): 1-46 (1998) - [j23]Kim Marriott, Harald Søndergaard
, Peter J. Stuckey:
A Practical Object-Oriented Analysis Engine for CLP. Softw. Pract. Exp. 28(2): 199-224 (1998) - [j22]Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
Foundations of Aggregation Constraints. Theor. Comput. Sci. 193(1-2): 149-179 (1998) - [j21]Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
Optimizing Compilation of CLP(R). ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998) - [j20]Peter J. Stuckey, Vincent W. L. Tam:
Extending GENET with lazy arc consistency. IEEE Trans. Syst. Man Cybern. Part A 28(5): 698-703 (1998) - [c45]Warwick Harvey, Peter J. Stuckey:
Constraint Representation for Propagation. CP 1998: 235-249 - [c44]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of a class of local search methods. ICTAI 1998: 166-175 - 1997
- [j19]Raghu Ramakrishnan, Peter J. Stuckey:
Introduction to the Special Issue on Constraints and Databases. Constraints An Int. J. 2(3/4): 243 (1997) - [j18]Peter J. Stuckey, S. Sudarshan:
Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. J. Log. Program. 32(3): 171-205 (1997) - [j17]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997) - [j16]David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey:
An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. J. Syst. Integr. 7(3/4): 191-230 (1997) - [c43]Warwick Harvey, Peter J. Stuckey, Alan Borning:
Compiling Constraint Solving using Projection. CP 1997: 491-505 - [c42]Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107 - [c41]Peter J. Stuckey:
Constraint Search Tree. ICLP 1997: 301-315 - [c40]Peter J. Stuckey, Vincent W. L. Tam:
Extending EGENET with Lazy Constraint Consistency. ICTAI 1997: 248- - [c39]Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao:
Solving Linear Arithmetic Constraints for User Interface Applications. ACM Symposium on User Interface Software and Technology 1997: 87-96 - 1996
- [j15]David B. Kemp, Peter J. Stuckey:
Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996) - [c38]Roy Johnston, Alistair Moffat, Harald Søndergaard
, Peter J. Stuckey:
Low-contact learning in a first year programming course. ACSE 1996: 19-26 - [c37]Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won:
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52 - [c36]Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap:
Effectiveness of Optimizing Compilation for CLP(R). JICSLP 1996: 37-51 - [c35]Peter J. Stuckey, Vincent W. L. Tam:
Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996: 423-437 - [c34]Andrew D. Kelly, Kim Marriott, Harald Søndergaard
, Peter J. Stuckey:
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS 1996: 385-386 - [c33]Praveen Seshadri, Joseph M. Hellerstein, Hamid Pirahesh, T. Y. Cliff Leung, Raghu Ramakrishnan, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
Cost-Based Optimization for Magic: Algebra and Implementation. SIGMOD Conference 1996: 435-446 - 1995
- [j14]Michael J. Maher, Peter J. Stuckey:
On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995) - [j13]Peter J. Stuckey:
Negation and Constraint Logic Programming. Inf. Comput. 118(1): 12-33 (1995) - [j12]David B. Kemp, Divesh Srivastava, Peter J. Stuckey:
Bottom-Up Evaluation and Query Optimization of Well-Founded Models. Theor. Comput. Sci. 146(1&2): 145-184 (1995) - [c32]Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard
, Peter J. Stuckey, Roland H. C. Yap:
An Optimizing Compiler for CLP(R). CP 1995: 222-239 - [c31]David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey:
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD 1995: 91-108 - [c30]Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap:
Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47 - [c29]Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental Analysis of Logic Programs. ICLP 1995: 797-811 - [c28]Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431 - 1994
- [j11]Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
The Aditi Deductive Database System. VLDB J. 3(2): 245-288 (1994) - [c27]Kim Marriott, Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35 - [c26]Peter J. Stuckey, S. Sudarshan:
Compiling Query Constraints. PODS 1994: 56-67 - [c25]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Beyond Finite Domains. PPCP 1994: 86-94 - [c24]Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
Foundations of Aggregation Constraints. PPCP 1994: 193-204 - [c23]Kim Marriott, Peter J. Stuckey:
Approximating Interaction between Linear Arithmetic Constraints. ILPS 1994: 571-585 - [e1]Peter Z. Revesz, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994. 1994 [contents] - 1993
- [j10]Kim Marriott, Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization. LOPLAS 2(1-4): 197-212 (1993) - [j9]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Projecting CLP (R) Constraints. New Gener. Comput. 11(3): 449-469 (1993) - [c22]Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161 - [c21]Peter J. Stuckey, S. Sudarshan:
Well-Founded Ordered Search (Extended Abstract). FSTTCS 1993: 161-172 - [c20]David B. Kemp, Peter J. Stuckey:
Analysis Based Constraint Query Optimization. ICLP 1993: 666-682 - [c19]Jayen Vaghani,