Peter J. Stuckey

641 papers A* 72A 102B 105C 32Misc 13Journal 232Unranked 80

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Formal Framework for the Explanation of Finite Automata Decisions. CoRR Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey
2026	J	`jnl`	GeckoGraph: A visual language for polymorphic types. J. Comput. Lang. Shuai Fu, Tim Dwyer, Peter J. Stuckey, John C. Grundy
2026	J	`jnl`	MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning. CoRR Zhixi Cai, Fucai Ke, Kevin Leo, Sukai Huang, Maria Garcia de la Banda, Peter J. Stuckey, Hamid Rezatofighi
2026	J	`jnl`	Mixed-Integer and Constraint Programming Models for the Two-Dimensional Guillotine Cutting Problem. Eur. J. Oper. Res. Sergey Polyakovskiy, Milad Dehghan, Adam Mcgregor, Peter J. Stuckey
2026	J	`jnl`	Rigorous Explanations for Tree Ensembles. CoRR Yacine Izza, Alexey Ignatiev, Xuanxiang Huang, Peter J. Stuckey, João Marques-Silva
2025	J	`jnl`	3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. CoRR Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2025	A*	`conf`	Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums Through Simulated Annealing (Student Abstract). AAAI Ruth-Emely Pierau, Alaster Meehan, Hamid Rezatofighi, Peter J. Stuckey
2025	—	`conf`	Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective. CPAIOR (2) Ida Gjergji, Lucas Kletzander, Hendrik Bierlee, Nysret Musliu, Peter J. Stuckey
2025	A*	`conf`	Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities. AAAI Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
2025	J	`jnl`	Doing More With Less: Mismatch-Based Risk-Limiting Audits. CoRR Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic
2025	A*	`conf`	Dynamic Replanning for Improved Public Transport Routing. IJCAI Abdallah Abu-Aisha, Bojie Shen, Daniel Damir Harabor, Peter J. Stuckey, Mark Wallace
2025	J	`jnl`	Dynamic Replanning for Improved Public Transport Routing. CoRR Abdallah Abu-Aisha, Bojie Shen, Daniel Harabor, Peter J. Stuckey, Mark Wallace
2025	J	`jnl`	Efficient Lower Bounding of Single Transferable Vote Election Margins. CoRR Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2025	J	`jnl`	Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery. CoRR Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
2025	J	`jnl`	Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting. CoRR Boying Li, Vuong Chi Hao, Peter J. Stuckey, Ian D. Reid, Hamid Rezatofighi
2025	J	`jnl`	Most General Explanations of Tree Ensembles (Extended Version). CoRR Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey
2025	A*	`conf`	Most General Explanations of Tree Ensembles. IJCAI Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey
2025	B	`conf`	Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance. ICTAI Andrii Rohovyi, Peter J. Stuckey, Toby Walsh
2025	J	`jnl`	NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning. CoRR Zhixi Cai, Fucai Ke, Simindokht Jahangard, Maria Garcia de la Banda, Reza Haffari, Peter J. Stuckey, Hamid Rezatofighi
2025	J	`jnl`	NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. IEEE Robotics Autom. Lett. Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2025	A*	`conf`	Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. AAAI Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li
2025	—	`conf`	Parallelising Lazy Clause Generation with Trail Sharing. CPAIOR (1) Toby O. Davies, Frédéric Didier, Laurent Perron, Peter J. Stuckey
2025	J	`jnl`	Predict+Optimize Problem in Renewable Energy Scheduling. IEEE Access 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
2025	—	`conf`	Revisiting Pseudo-Boolean Encodings from an Integer Perspective. CPAIOR (1) Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey
2025	J	`jnl`	To whom did my vote go? CoRR Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2025	A	`conf`	Towards Modern and Modular SAT for LCG (Short Paper). CP Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong
2025	A	`conf`	Transition Dominance in Domain-Independent Dynamic Programming. CP J. Christopher Beck, Ryo Kuroiwa, Jimmy H. M. Lee, Peter J. Stuckey, Allen Z. Zhong
2025	A	`conf`	Unit Types for MiniZinc. CP Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack
2024	J	`jnl`	A Formal Explainer for Just-In-Time Defect Predictions. ACM Trans. Softw. Eng. Methodol. Jinqiang Yu, Michael Fu, Alexey Ignatiev, Chakkrit Tantithamthavorn, Peter J. Stuckey
2024	J	`jnl`	A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2024	A	`conf`	Anytime Approximate Formal Feature Attribution. SAT Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
2024	B	`conf`	Avoiding Node Re-Expansions Can Break Symmetry Breaking. SOCS Mark Carlson, Daniel Harabor, Peter J. Stuckey
2024	A*	`conf`	Delivering Inflated Explanations. AAAI Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
2024	—	`conf`	Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. FC Workshops Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024	J	`jnl`	Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. CoRR Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024	J	`jnl`	Formal Explanations for Neuro-Symbolic AI. CoRR Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey
2024	J	`jnl`	GeckoGraph: A Visual Language for Polymorphic Types. CoRR Shuai Fu, Tim Dwyer, Peter J. Stuckey
2024	J	`jnl`	Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets. CoRR Shuai Fu, Tim Dwyer, Peter J. Stuckey, John Grundy
2024	J	`jnl`	Idiosyncratic properties of Australian STV election counting. CoRR Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic
2024	—	`conf`	Improving the Computational Efficiency of Adaptive Audits of IRV Elections. E-Vote-ID Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024	J	`jnl`	Improving the Computational Efficiency of Adaptive Audits of IRV Elections. CoRR Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024	A*	`conf`	Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs. NeurIPS Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Peter J. Stuckey
2024	J	`jnl`	NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. CoRR 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
2024	J	`jnl`	Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. CoRR Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li
2024	B	`conf`	Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract). SOCS Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
2024	A*	`conf`	Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. ICAPS Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
2024	—	`conf`	RLAs for 2-Seat STV Elections: Revisited. FC Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2024	J	`jnl`	RLAs for 2-Seat STV Elections: Revisited. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2024	—	`conf`	Rapidly Computing Approximate Graph Convex Hulls via FastMap. LOD (2) Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
2024	—	`conf`	Single Constant Multiplication for SAT. CPAIOR (1) Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
2024	B	`conf`	Solving Facility Location Problems via FastMap and Locality Sensitive Hashing. SOCS Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
2024	J	`jnl`	SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
2024	J	`jnl`	Temporal Planning via Interval Logic Satisfiability for Autonomous Systems. CoRR Miquel Ramírez, Anubhav Singh, Peter J. Stuckey, Chris Manzie
2024	J	`jnl`	Timetable Nodes for Public Transport Network. CoRR Andrii Rohovyi, Peter J. Stuckey, Toby Walsh
2024	B	`conf`	Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding (Extended Abstract). SOCS Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey
2024	A*	`conf`	Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. AAAI Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey
2023	A*	`conf`	A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem. ICAPS Sergey Polyakovskiy, Peter J. Stuckey
2023	—	`conf`	A FastMap-Based Framework for Efficiently Computing Top-K Projected Centrality. LOD (1) Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
2023	A*	`conf`	A Regular Matching Constraint for String Variables. IJCAI Roberto Amadini, Peter J. Stuckey
2023	—	`conf`	Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. E-Vote-ID Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2023	J	`jnl`	Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2023	J	`jnl`	Anytime Approximate Formal Feature Attribution. CoRR Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
2023	A*	`conf`	Beyond Pairwise Reasoning in Multi-Agent Path Finding. ICAPS Bojie Shen, Zhe Chen, Jiaoyang Li, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
2023	A	`conf`	ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. ICPC Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier
2023	J	`jnl`	ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. CoRR Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier
2023	J	`jnl`	Delivering Inflated Explanations. CoRR Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
2023	B	`conf`	Efficient Multi Agent Path Finding with Turn Actions. SOCS Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
2023	A*	`conf`	Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
2023	A*	`conf`	Exact Anytime Multi-Agent Path Finding Using Branch-and-Cut-and-Price and Large Neighborhood Search. ICAPS Edward Lam, Daniel Damir Harabor, Peter J. Stuckey, Jiaoyang Li
2023	A	`conf`	From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
2023	J	`jnl`	Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. Bioinform. Piyumi R. Amarasinghe, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu
2023	J	`jnl`	Lifted Sequential Planning with Lazy Constraint Generation Solvers. CoRR Anubhav Singh, Miquel Ramírez, Nir Lipovetzky, Peter J. Stuckey
2023	B	`conf`	MiniZinc for Formal Methods. FMCAD Peter J. Stuckey
2023	J	`jnl`	On Formal Feature Attribution and Its Approximation. CoRR Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
2023	A*	`conf`	Optimal Pathfinding on Weighted Grid Maps. AAAI Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi
2023	J	`jnl`	Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
2023	—	`conf`	Optimization of the Storage Location Assignment Problem Using Nested Annealing. ICORES (Selected Papers) Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger
2023	A	`conf`	Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey
2023	B	`conf`	Reducing Redundant Work in Jump Point Search. SOCS Shizhe Zhao, Daniel Harabor, Peter J. Stuckey
2023	J	`jnl`	Reducing Redundant Work in Jump Point Search. CoRR Shizhe Zhao, Daniel Harabor, Peter J. Stuckey
2023	—	`conf`	Risk-Limiting Audits for Condorcet Elections. FC Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2023	J	`jnl`	Risk-Limiting Audits for Condorcet Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2023	J	`jnl`	Scalable Rail Planning and Replanning with Soft Deadlines. CoRR Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey
2023	C	`conf`	Storage Assignment Using Nested Annealing and Hamming Distances. ICORES Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger
2023	J	`jnl`	The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. CoRR Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2023	J	`jnl`	Tracking Progress in Multi-Agent Path Finding. CoRR Bojie Shen, Zhe Chen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
2023	J	`jnl`	Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. CoRR Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey
2022	A*	`conf`	A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. AAAI Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
2022	B	`conf`	A FastMap-Based Algorithm for Block Modeling. CPAIOR Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
2022	—	`conf`	A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. Financial Cryptography Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. CoRR Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. CoRR Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	—	`conf`	Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CoRR Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Branch-and-cut-and-price for multi-agent path finding. Comput. Oper. Res. Edward Lam, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey
2022	J	`jnl`	Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations. Comput. Oper. Res. Edward Lam, Guy Desaulniers, Peter J. Stuckey
2022	J	`jnl`	Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR 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
2022	B	`conf`	Coupling Different Integer Encodings for SAT. CPAIOR Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
2022	B	`conf`	Dual Euclidean Shortest Path Search (Extended Abstract). SOCS Ryan Hechenberger, Peter J. Stuckey, Pierre Le Bodic, Daniel Damir Harabor
2022	J	`jnl`	Eliminating The Impossible, Whatever Remains Must Be True. CoRR Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
2022	B	`conf`	Enumerated Types and Type Extensions for MiniZinc. CPAIOR Peter J. Stuckey, Guido Tack
2022	A	`conf`	Explaining Propagation for Gini and Spread with Variable Mean. CP Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack
2022	J	`jnl`	Fast optimal and bounded suboptimal Euclidean pathfinding. Artif. Intell. Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
2022	A*	`conf`	Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. AAAI Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2022	A*	`conf`	Improving Time-Dependent Contraction Hierarchies. ICAPS Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
2022	A*	`conf`	MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search. AAAI Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2022	—	`conf`	Modelling Zeros in Blockmodelling. PAKDD (2) Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri
2022	A*	`conf`	Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
2022	J	`jnl`	Multi-Target Search in Euclidean Space with Ray Shooting (Full Version). CoRR Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic
2022	B	`conf`	Multi-Train Path Finding Revisited. SOCS Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2022	J	`jnl`	MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
2022	J	`jnl`	On the reliability and the limits of inference of amino acid sequence alignments. Bioinform. Sandun Rajapaksa, Dinithi Sumanaweera, Arthur M. Lesk, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arun Siddharth Konagurthu
2022	A*	`conf`	Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva
2021	J	`jnl`	A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	J	`jnl`	A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	A*	`conf`	A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
2021	J	`jnl`	A Scalable Two Stage Approach to Computing Optimal Decision Sets. CoRR Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
2021	A	`conf`	Anytime Multi-Agent Path Finding via Large Neighborhood Search. AAMAS Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2021	A*	`conf`	Anytime Multi-Agent Path Finding via Large Neighborhood Search. IJCAI Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2021	—	`conf`	Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. E-VOTE-ID Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	J	`jnl`	Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. CoRR Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	—	`conf`	Auditing Hamiltonian Elections. Financial Cryptography Workshops Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	J	`jnl`	Auditing Hamiltonian Elections. CoRR Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	A*	`conf`	Contracting and Compressing Shortest Path Databases. ICAPS Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
2021	B	`conf`	Customised Shortest Paths Using a Distributed Reverse Oracle. SOCS Arthur Mahéo, Shizhe Zhao, Hassan Afzaal, Daniel Harabor, Peter J. Stuckey, Mark Wallace
2021	A*	`conf`	Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey
2021	B	`conf`	Disjunctive Interval Analysis. SAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	B	`conf`	ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. SOCS Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2021	B	`conf`	Further Improved Heuristics For Conflict-Based Search. SOCS Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2021	J	`jnl`	Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. CoRR Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey
2021	J	`jnl`	Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. IEEE Robotics Autom. Lett. Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey
2021	B	`ed.`	Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings CPAIOR Peter J. Stuckey
2021	A*	`conf`	Jump Point Search with Temporal Obstacles. ICAPS Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
2021	J	`jnl`	Learning Optimal Decision Sets and Lists with SAT. J. Artif. Intell. Res. Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2021	B	`conf`	Lightweight Nontermination Inference with CHCs. SEFM Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2021	B	`conf`	Multi-Target Search in Euclidean Space with Ray Shooting. SOCS Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic
2021	—	`conf`	On identifying statistical redundancy at the level of amino acid subsequences. BIBM Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu
2021	A*	`conf`	Optimal Decision Trees for Nonlinear Metrics. AAAI Emir Demirovic, Peter J. Stuckey
2021	A	`conf`	Optimising Training for Service Delivery. CP Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey
2021	J	`jnl`	Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search. CoRR Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig
2021	J	`jnl`	Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig
2021	J	`jnl`	Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. CoRR Buser Say, Scott Sanner, Jo Devriendt, Jakob Nordström, Peter J. Stuckey
2021	A*	`conf`	Reasoning-Based Learning of Interpretable ML Models. IJCAI Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey
2021	A*	`conf`	Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. ICAPS Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2021	B	`conf`	Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. SOCS Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2021	A*	`conf`	Symmetry Breaking for k-Robust Multi-Agent Path Finding. AAAI Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey
2021	J	`jnl`	Symmetry Breaking for k-Robust Multi-Agent Path Finding. CoRR Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey
2021	J	`jnl`	Transformation-Enabled Precondition Inference. CoRR Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
2021	J	`jnl`	Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
2021	A*	`conf`	f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search. AAAI Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey, Sven Koenig
2020	—	`conf`	Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	A	`conf`	Aggregation and Garbage Collection for Online Optimization. CP Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2020	C	`conf`	Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	A*	`conf`	Bounded Suboptimal Path Planning with Compressed Path Databases. ICAPS Shizhe Zhao, Mattia Chiari, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Peter J. Stuckey
2020	A	`conf`	Computing Optimal Decision Sets with SAT. CP Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2020	J	`jnl`	Computing Optimal Decision Sets with SAT. CoRR Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2020	B	`conf`	Core-Guided and Core-Boosted Search for CP. CPAIOR Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2020	A	`conf`	Dashed Strings and the Replace(-all) Constraint. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey
2020	J	`jnl`	Dashed strings for string constraint solving. Artif. Intell. Roberto Amadini, Graeme Gange, Peter J. Stuckey
2020	A*	`conf`	Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. AAAI Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague
2020	J	`jnl`	Divide and Learn: A Divide and Conquer Approach for Predict+Optimize. CoRR Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
2020	A*	`conf`	Dynamic Programming for Predict+Optimise. AAAI Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan
2020	J	`jnl`	Encoding Linear Constraints into SAT. CoRR Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
2020	A*	`conf`	Euclidean Pathfinding with Compressed Path Databases. IJCAI Bojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey
2020	A	`conf`	Exact Approaches to the Multi-agent Collective Construction Problem. CP Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
2020	A*	`conf`	Explaining Propagators for String Edit Distance Constraints. AAAI Felix Winter, Nysret Musliu, Peter J. Stuckey
2020	B	`conf`	F-Cardinal Conflicts in Conflict-Based Search. SOCS Eli Boyarski, Daniel Harabor, Peter J. Stuckey, Pierre Le Bodic, Ariel Felner
2020	B	`conf`	Improving Single and Multi-View Blockmodelling by Algebraic Simplification. IJCNN Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic
2020	A*	`conf`	Iterative-Deepening Conflict-Based Search. IJCAI Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig
2020	Misc	`conf`	Joint Host-Network Power Scaling with Minimizing VM Migration in SDN-enabled Cloud Data Centers. UCC Tuhin Chakraborty, Adel Nadjaran Toosi, Carlo Kopp, Peter J. Stuckey, Julien Mahet
2020	A	`conf`	Large Neighborhood Search for Temperature Control with Demand Response. CP Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman
2020	J	`jnl`	Logistics optimization for a coal supply chain. J. Heuristics Gleb Belov, Natashia L. Boland, Martin W. P. Savelsbergh, Peter J. Stuckey
2020	A*	`conf`	Modelling Diversity of Solutions. AAAI Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack
2020	A*	`conf`	Modelling and Solving Online Optimisation Problems. AAAI Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2020	J	`jnl`	MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
2020	A*	`conf`	New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. ICAPS Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2020	B	`conf`	New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. SOCS Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2020	J	`jnl`	Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
2020	A*	`conf`	Online Computation of Euclidean Shortest Paths in Two Dimensions. ICAPS Ryan Hechenberger, Peter J. Stuckey, Daniel Harabor, Pierre Le Bodic, Muhammad Aamir Cheema
2020	J	`jnl`	Optimal Decision Lists using SAT. CoRR Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey
2020	J	`jnl`	Optimal Decision Trees for Nonlinear Metrics. CoRR Emir Demirovic, Peter J. Stuckey
2020	—	`conf`	Random Errors Are Not Necessarily Politically Neutral. E-VOTE-ID Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic
2020	J	`jnl`	Random errors are not politically neutral. CoRR Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2020	A	`conf`	Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision Making. AAMAS Frits de Nijs, Peter J. Stuckey
2020	B	`conf`	Robust Resource Planning for Aircraft Ground Operations. CPAIOR Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk
2020	—	`conf`	Shifting the Balance-of-Power in STV Elections. E-VOTE-ID Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague
2020	A*	`conf`	Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns
2020	A	`conf`	Solving Satisfaction Problems Using Large-Neighbourhood Search. CP Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
2020	A	`conf`	String Constraint Solving: Past, Present and Future. ECAI Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2020	A*	`conf`	Teaching Constraint Programming Using Fable-Based Learning. AAAI Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey
2020	A	`conf`	The Argmax Constraint. CP Graeme Gange, Peter J. Stuckey
2020	A	`conf`	Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. CP Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey
2020	J	`jnl`	You can do RLAs for IRV. CoRR Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague
2019	B	`conf`	An Investigation into Prediction + Optimisation for the Knapsack Problem. CPAIOR Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns
2019	A*	`conf`	Branch-and-Cut-and-Price for Multi-Agent Pathfinding. IJCAI Edward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey
2019	J	`jnl`	Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2019	A	`conf`	Compiling Conditional Constraints. CP Peter J. Stuckey, Guido Tack
2019	B	`conf`	Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2019	J	`jnl`	Constraints for symmetry breaking in graph representation. Constraints An Int. J. Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey
2019	B	`conf`	Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2019	A*	`conf`	Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols. ICAPS Mattia Chiari, Shizhe Zhao, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Matteo Salvetti, Peter J. Stuckey
2019	A*	`conf`	Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search. ICAPS Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2019	B	`conf`	Dissecting Widening: Separating Termination from Information. APLAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2019	—	`conf`	Election Manipulation 100. Financial Cryptography Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague
2019	—	`conf`	Election Manipulation with Partial Information. E-VOTE-ID Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague
2019	A	`conf`	Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey
2019	B	`conf`	Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding. SOCS Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig
2019	A*	`conf`	Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS Graeme Gange, Daniel Harabor, Peter J. Stuckey
2019	B	`conf`	Local Rapid Learning for Integer Programs. CPAIOR Timo Berthold, Peter J. Stuckey, Jakob Witzig
2019	C	`ed.`	Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers LOPSTR Fred Mesnard, Peter J. Stuckey
2019	C	`conf`	Optimal Bounds for Floating-Point Addition in Constant Time. ARITH Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2019	A	`conf`	Optimal context-sensitive dynamic partial order reduction with observers. ISSTA Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
2019	A*	`conf`	Path Planning with CPD Heuristics. IJCAI Massimo Bono, Alfonso Emilio Gerevini, Daniel Damir Harabor, Peter J. Stuckey
2019	A	`conf`	Peak-Hour Rail Demand Shifting with Discrete Optimisation. CP John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow
2019	A*	`conf`	Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. IJCAI Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns
2019	A*	`conf`	Regarding Jump Point Search and Subgoal Graphs. IJCAI Daniel Damir Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig
2019	J	`jnl`	Risk-Limiting Audits for IRV Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague
2019	A*	`conf`	Searching with Consistent Prioritization for Multi-Agent Path Finding. AAAI Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig
2019	J	`jnl`	Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. CoRR Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns
2019	A*	`conf`	Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. AAAI Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2019	B	`conf`	Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. SOCS Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
2019	A	`conf`	Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. CP Emir Demirovic, Peter J. Stuckey
2019	B	`conf`	Time Table Edge Finding with Energy Variables. CPAIOR Moli Yang, Andreas Schutt, Peter J. Stuckey
2019	J	`jnl`	Toward Computing the Margin of Victory in Single Transferable Vote Elections. INFORMS J. Comput. Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague
2019	J	`jnl`	Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. J. Autom. Reason. Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
2018	J	`jnl`	An iterative approach to precondition inference using constrained Horn clauses. CoRR Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	J	`jnl`	An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	—	`conf`	Ballot-Polling Risk Limiting Audits for IRV Elections. E-Vote-ID Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague
2018	Misc	`conf`	Breaking Symmetries with Lex Implications. FLOPS Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
2018	—	`conf`	Computing the Margin of Victory in Preferential Parliamentary Elections. E-Vote-ID Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague
2018	B	`conf`	Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. CPAIOR Emir Demirovic, Peter J. Stuckey
2018	—	`conf`	Data instance generator and optimization models for evacuation planning in the event of wildfire. RSFF Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey
2018	B	`conf`	Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
2018	B	`conf`	Forward Search in Contraction Hierarchies. SOCS Daniel Damir Harabor, Peter J. Stuckey
2018	A	`conf`	Image Constrained Blockmodelling: A Constraint Programming Approach. SDM Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Ian Davidson
2018	A*	`conf`	Lagrangian Constrained Community Detection. AAAI Mohadeseh Ganji, James Bailey, Peter J. Stuckey
2018	A*	`conf`	Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey
2018	J	`jnl`	Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. Eur. J. Oper. Res. Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann
2018	B	`conf`	Optimal Sankey Diagrams Via Integer Programming. PacificVis David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey
2018	J	`jnl`	Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). CoRR Fred Mesnard, Peter J. Stuckey
2018	J	`jnl`	Precondition Inference via Partitioning of Initial States. CoRR Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2018	A	`conf`	Propagating Regular Membership with Dashed Strings. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey
2018	B	`conf`	Propagating lex, find and replace with Dashed Strings. CPAIOR Roberto Amadini, Graeme Gange, Peter J. Stuckey
2018	J	`jnl`	Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2018	J	`jnl`	Searching with Consistent Prioritization for Multi-Agent Path Finding. CoRR Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig
2018	—	`conf`	Semi-supervised Blockmodelling with Pairwise Guidance. ECML/PKDD (2) Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Laurence A. F. Park
2018	A	`conf`	Sequential Precede Chain for Value Symmetry Elimination. CP Graeme Gange, Peter J. Stuckey
2018	J	`jnl`	Solution Dominance over Constraint Satisfaction Problems. CoRR Tias Guns, Peter J. Stuckey, Guido Tack
2018	A	`conf`	Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP Emir Demirovic, Geoffrey Chu, Peter J. Stuckey
2018	B	`conf`	Solver Independent Rotating Workforce Scheduling. CPAIOR Nysret Musliu, Andreas Schutt, Peter J. Stuckey
2018	A	`conf`	Solver-Independent Large Neighbourhood Search. CP Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
2018	A*	`conf`	Sweep-Based Propagation for String Constraint Solving. AAAI Roberto Amadini, Graeme Gange, Peter J. Stuckey
2017	A	`conf`	A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2017	A	`conf`	A Declarative Approach to Constrained Community Detection. CP Mohadeseh Ganji, James Bailey, Peter J. Stuckey
2017	A	`conf`	A Novel Approach to String Constraint Solving. CP Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
2017	A*	`conf`	Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI Toby O. Davies, Graeme Gange, Peter J. Stuckey
2017	—	`conf`	Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2017	J	`jnl`	Computing the Margin of Victory in Preferential Parliamentary Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague
2017	—	`conf`	Context-Sensitive Dynamic Partial Order Reduction. CAV (1) Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
2017	B	`conf`	Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA Graeme Gange, Pierre Ganty, Peter J. Stuckey
2017	B	`conf`	Minimizing Landscape Resistance for Habitat Conservation. CPAIOR Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2017	B	`conf`	Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey
2017	B	`conf`	Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. DCC Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu
2017	J	`jnl`	Statistical inference of protein structural alignments using information and compression. Bioinform. James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
2017	J	`jnl`	Towards Computing Victory Margins in STV Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague
2017	J	`jnl`	Using constraint programming for solving RCPSP/max-cal. Constraints An Int. J. Stefan Kreter, Andreas Schutt, Peter J. Stuckey
2016	B	`conf`	A Bit-Vector Solver with Word-Level Propagation. CPAIOR Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
2016	A	`conf`	A Bounded Path Propagator on Directed Graphs. CP Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2016	J	`jnl`	A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods. Manag. Sci. Michelle L. Blom, Adrian R. Pearce, Peter J. Stuckey
2016	J	`jnl`	A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2016	B	`conf`	An Abstract Domain of Uninterpreted Functions. VMCAI Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2016	A	`conf`	Breaking Symmetries in Graphs: The Nauty Way. CP Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
2016	—	`conf`	Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) Graeme Gange, Peter J. Stuckey
2016	A	`conf`	Discrete Optimization for Agents. AAMAS Peter J. Stuckey
2016	A	`conf`	Efficient Computation of Exact IRV Margins. ECAI Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar
2016	A	`conf`	Explaining Producer/Consumer Constraints. CP Andreas Schutt, Peter J. Stuckey
2016	B	`conf`	Exploiting Sparsity in Difference-Bound Matrices. SAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2016	A	`conf`	Improved Linearization of Constraint Programming Models. CP Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace
2016	A	`conf`	Interval Constraints with Learning: Application to Air Traffic Control. CP Thibaut Feydy, Peter J. Stuckey
2016	A	`conf`	Lagrangian Constrained Clustering. SDM Mohadeseh Ganji, James Bailey, Peter J. Stuckey
2016	B	`conf`	Lagrangian Decomposition via Sub-problem Search. CPAIOR Geoffrey Chu, Graeme Gange, Peter J. Stuckey
2016	C	`conf`	MiniZinc with Strings. LOPSTR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	J	`jnl`	MiniZinc with Strings. CoRR Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2016	B	`conf`	On CNF Encodings of Decision Diagrams. CPAIOR Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey
2016	B	`conf`	Parallelizing Constraint Programming with Learning. CPAIOR Thorsten Ehlers, Peter J. Stuckey
2016	B	`conf`	Rail Capacity Modelling with Constraint Programming. CPAIOR Daniel Harabor, Peter J. Stuckey
2016	A*	`conf`	Sequencing Operator Counts. IJCAI Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky
2016	A*	`conf`	Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2016	—	`conf`	Symmetry declarations for MiniZinc. ACSW Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey
2016	B	`conf`	Weighted Spanning Tree Constraint with Explanations. CPAIOR Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
2015	A	`conf`	#∃SAT: Projected Model Counting. SAT Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
2015	—	`conf`	A Tool for Intersecting Context-Free Grammars and Its Applications. NFM Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2015	J	`jnl`	Automatic Minimal-Height Table Layout. INFORMS J. Comput. Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey
2015	J	`jnl`	Dominance breaking constraints. Constraints An Int. J. Geoffrey Chu, Peter J. Stuckey
2015	J	`jnl`	Efficient Computation of Exact IRV Margins. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar
2015	A	`conf`	Encoding Linear Constraints with Implication Chains to CNF. CP Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
2015	—	`conf`	Generalized Modularity for Community Detection. ECML/PKDD (2) Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey, Peter J. Stuckey
2015	J	`jnl`	Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2015	J	`jnl`	Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2015	J	`jnl`	Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
2015	B	`conf`	Learning Value Heuristics for Constraint Programming. CPAIOR Geoffrey Chu, Peter J. Stuckey
2015	A	`conf`	MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack
2015	A	`conf`	Modeling and Solving Project Scheduling with Calendars. CP Stefan Kreter, Andreas Schutt, Peter J. Stuckey
2015	A	`conf`	Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. AAMAS Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard
2015	J	`jnl`	Projected Model Counting. CoRR Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
2015	B	`conf`	Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study. CPAIOR Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey
2015	A*	`conf`	Sequencing Operator Counts. ICAPS Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky
2015	J	`jnl`	Two type extensions for the constraint modeling language MiniZinc. Sci. Comput. Program. Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
2015	J	`jnl`	Unsatisfiable Cores and Lower Bounding for Constraint Programming. CoRR Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
2014	J	`jnl`	A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	J	`jnl`	A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines. INFORMS J. Comput. Michelle L. Blom, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey
2014	J	`jnl`	A Partial-Order Approach to Array Content Analysis. CoRR Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	C	`conf`	Analyzing Array Manipulating Programs by Program Transformation. LOPSTR J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	A	`conf`	Encoding Linear Constraints into SAT. CP Ignasi Abío, Peter J. Stuckey
2014	J	`jnl`	Explaining circuit propagation. Constraints An Int. J. Kathryn Glenn Francis, Peter J. Stuckey
2014	A*	`conf`	Fragment-Based Planning Using Column Generation. ICAPS Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard
2014	J	`jnl`	Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2014	J	`jnl`	Lazy Model Expansion: Interleaving Grounding with Search. CoRR Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
2014	B	`conf`	Local Search for a Cargo Assembly Planning Problem. CPAIOR Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey
2014	A	`conf`	Loop Untangling. CP Kathryn Francis, Peter J. Stuckey
2014	B	`conf`	Modelling with Option Types in MiniZinc. CPAIOR Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
2014	A	`conf`	Nested Constraint Programs. CP Geoffrey Chu, Peter J. Stuckey
2014	A*	`conf`	Planning for Mining Operations with Time and Resource Constraints. ICAPS Nir Lipovetzky, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey
2014	C	`conf`	Seeing Around Corners: Fast Orthogonal Connector Routing. Diagrams Kim Marriott, Peter J. Stuckey, Michael Wybrow
2014	A	`conf`	Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. CP Roberto Amadini, Peter J. Stuckey
2014	J	`jnl`	Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
2014	A	`conf`	Stochastic MiniZinc. CP Andrea Rendl, Guido Tack, Peter J. Stuckey
2014	J	`jnl`	Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
2014	J	`jnl`	Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. Graeme Gange, Harald Søndergaard, Peter J. Stuckey
2014	J	`jnl`	The MiniZinc Challenge 2008-2013. AI Mag. Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer
2014	J	`jnl`	The future of optimization technology. Constraints An Int. J. Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
2013	J	`jnl`	A CLP heap solver for test case generation. Theory Pract. Log. Program. Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey
2013	B	`conf`	A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. CPAIOR Hanyu Gu, Andreas Schutt, Peter J. Stuckey
2013	B	`conf`	Abstract Interpretation over Non-lattice Abstract Domains. SAS Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2013	—	`conf`	Automated Design of Search with Composability. AAAI (Late-Breaking Developments) Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack
2013	J	`jnl`	Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. Amit Metodi, Michael Codish, Peter J. Stuckey
2013	J	`jnl`	Discovery and analysis of consistent active sub-networks in cancers. BMC Bioinform. Raj K. Gaire, Lorey Smith, Patrick Humbert, James Bailey, Peter J. Stuckey, Izhak Haviv
2013	A	`conf`	Dominance Driven Search. CP Geoffrey Chu, Peter J. Stuckey
2013	A	`conf`	Explaining Propagators for Edge-Valued Decision Diagrams. CP Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
2013	B	`conf`	Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
2013	J	`jnl`	Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2013	C	`conf`	Finite type extensions in constraint programming. PPDP Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
2013	B	`conf`	MiniZinc with Functions. CPAIOR Peter J. Stuckey, Guido Tack
2013	A	`conf`	Modelling Destructive Assignments. CP Kathryn Francis, Jorge A. Navas, Peter J. Stuckey
2013	A	`conf`	Scheduling Optional Tasks with Explanation. CP Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
2013	J	`jnl`	Search combinators. Constraints An Int. J. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2013	A	`conf`	Solving Difference Constraints over Modular Arithmetic. CADE Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
2013	J	`jnl`	Solving RCPSP/max by lazy clause generation. J. Sched. Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
2013	J	`jnl`	Stable model semantics for founded bounds. Theory Pract. Log. Program. Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey
2013	A*	`conf`	Statistical Inference of Protein "LEGO Bricks". ICDM Arun Siddharth Konagurthu, Lloyd Allison, David Abramson, Peter J. Stuckey, Arthur M. Lesk
2013	J	`jnl`	Structure Based Extended Resolution for Constraint Programming. CoRR Geoffrey Chu, Peter J. Stuckey
2013	A	`conf`	There Are No CNF Problems. SAT Peter J. Stuckey
2013	A	`conf`	Those Who Cannot Remember the Past Are Condemned to Repeat It. CP Peter J. Stuckey
2013	A	`conf`	To Encode or to Propagate? The Best Choice for Each Constraint in SAT. CP Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
2013	A	`conf`	Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte
2013	J	`jnl`	Unsatisfiable Cores for Constraint Programming CoRR Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
2012	Misc	`conf`	A General Implementation Framework for Tabled CLP. FLOPS Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
2012	A	`conf`	A Generic Method for Identifying and Exploiting Dominance Relations. CP Geoffrey Chu, Peter J. Stuckey
2012	J	`jnl`	A complete solution to the Maximum Density Still Life Problem. Artif. Intell. Geoffrey Chu, Peter J. Stuckey
2012	J	`jnl`	AI@NICTA. AI Mag. 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
2012	C	`conf`	An Introduction to Search Combinators. LOPSTR Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2012	A	`conf`	Conflict Directed Lazy Decomposition. CP Ignasi Abío, Peter J. Stuckey
2012	B	`conf`	Explaining Flow-Based Propagation. CPAIOR Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
2012	B	`conf`	Explaining Propagators for s-DNNF Circuits. CPAIOR Graeme Gange, Peter J. Stuckey
2012	J	`jnl`	Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint CoRR Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
2012	—	`conf`	Explaining alldifferent. ACSC Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
2012	J	`jnl`	Exploiting subproblem dominance in constraint programming. Constraints An Int. J. Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2012	A	`conf`	Inter-instance Nogood Learning in Constraint Programming. CP Geoffrey Chu, Peter J. Stuckey
2012	—	`conf`	Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) Broes De Cat, Marc Denecker, Peter J. Stuckey
2012	B	`conf`	Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace
2012	A	`conf`	Maximising the Net Present Value of Large Resource-Constrained Projects. CP Hanyu Gu, Peter J. Stuckey, Mark G. Wallace
2012	B	`conf`	Optimal guillotine layout. ACM Symposium on Document Engineering Graeme Gange, Kim Marriott, Peter J. Stuckey
2012	A	`conf`	Optimisation Modelling for Software Developers. CP Kathryn Francis, Sebastian Brand, Peter J. Stuckey
2012	C	`conf`	Orthogonal Hyperedge Routing. Diagrams Michael Wybrow, Kim Marriott, Peter J. Stuckey
2012	J	`jnl`	Search Combinators CoRR Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2012	B	`conf`	Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2011	J	`jnl`	Automatic generation of protein structure cartoons with Pro-origami. Bioinform. Alex D. Stivala, Michael Wybrow, Anthony Wirth, James C. Whisstock, Peter J. Stuckey
2011	J	`jnl`	Boolean Equi-propagation for Optimized SAT Encoding CoRR Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2011	A	`conf`	Boolean Equi-propagation for Optimized SAT Encoding. CP Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2011	J	`jnl`	CP and IP approaches to cancer radiotherapy delivery optimization. Constraints An Int. J. Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey
2011	—	`conf`	Constraints in Non-Boolean Contexts. ICLP (Technical Communications) Leslie De Koninck, Sebastian Brand, Peter J. Stuckey
2011	J	`jnl`	Dantzig-Wolfe decomposition and branch-and-price solving in G12. Constraints An Int. J. Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand
2011	J	`jnl`	Explaining the cumulative propagator. Constraints An Int. J. Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
2011	A	`conf`	Half Reification and Flattening. CP Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey
2011	J	`jnl`	MDD propagators with explanation. Constraints An Int. J. Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek
2011	—	`conf`	Memoizing a Monadic Mixin DSL. WFLP Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey
2011	A	`conf`	Optimal Carpet Cutting. CP Andreas Schutt, Peter J. Stuckey, Andrew R. Verden
2011	B	`conf`	Optimal automatic table layout. ACM Symposium on Document Engineering Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey
2011	J	`jnl`	Piecewise linear approximation of protein structures using the principle of minimum message length. Bioinform. Arun Siddharth Konagurthu, Lloyd Allison, Peter J. Stuckey, Arthur M. Lesk
2011	A	`conf`	Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. SAT Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey
2011	A	`conf`	Search Combinators. CP Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
2011	J	`jnl`	Solving Set Constraint Satisfaction Problems using ROBDDs CoRR Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
2011	J	`jnl`	Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu
2011	A*	`conf`	Symmetries and Lazy Clause Generation. IJCAI Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears
2010	B	`conf`	Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2010	J	`jnl`	Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
2010	J	`jnl`	Fast and accurate protein substructure searching with simulated annealing and GPUs. BMC Bioinform. Alex D. Stivala, Peter J. Stuckey, Anthony Wirth
2010	—	`conf`	Improved consensus clustering via linear programming. ACSC Nicholas Downing, Peter J. Stuckey, Anthony Wirth
2010	J	`jnl`	Incremental Satisfiability and Implication for UTVPI Constraints. INFORMS J. Comput. Andreas Schutt, Peter J. Stuckey
2010	J	`jnl`	Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). Constraints An Int. J. Peter J. Stuckey
2010	B	`conf`	Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. CPAIOR Peter J. Stuckey
2010	J	`jnl`	Lock-free parallel dynamic programming. J. Parallel Distributed Comput. Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth
2010	J	`jnl`	MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer. Bioinform. Raj K. Gaire, James Bailey, Jennifer Bearfoot, Ian G. Campbell, Peter J. Stuckey, Izhak Haviv
2010	A	`conf`	Optimal GD Graeme Gange, Peter J. Stuckey, Kim Marriott
2010	J	`jnl`	Philosophy of the MiniZinc challenge. Constraints An Int. J. Peter J. Stuckey, Ralph Becket, Julien Fischer
2010	B	`conf`	Rapid Learning for Binary Programs. CPAIOR Timo Berthold, Thibaut Feydy, Peter J. Stuckey
2010	J	`jnl`	Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation CoRR Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
2009	C	`conf`	A declarative encoding of telecommunications feature subscription in SAT. PPDP Michael Codish, Samir Genaim, Peter J. Stuckey
2009	—	`conf`	Branch-and-Price Solving in G12. Models and Algorithms for Optimization in Logistics Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand
2009	J	`jnl`	Cache Conscious Data Structures for Boolean Satisfiability Solvers. J. Satisf. Boolean Model. Comput. Geoffrey Chu, Aaron Harwood, Peter J. Stuckey
2009	A	`conf`	Confidence-Based Work Stealing in Parallel Constraint Programming. CP Geoffrey Chu, Christian Schulte, Peter J. Stuckey
2009	B	`conf`	Demand-Driven Normalisation for ACD Term Rewriting. ICLP Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
2009	J	`jnl`	Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. Christian Schulte, Peter J. Stuckey
2009	A	`conf`	Lazy Clause Generation Reengineered. CP Thibaut Feydy, Peter J. Stuckey
2009	A	`conf`	Maintaining State in Propagation Solvers. CP Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
2009	A	`conf`	Minimizing the Maximum Number of Open Stacks by Customer Search. CP Geoffrey Chu, Peter J. Stuckey
2009	J	`jnl`	Monadic constraint programming. J. Funct. Program. Tom Schrijvers, Peter J. Stuckey, Philip Wadler
2009	A	`conf`	Orthogonal Connector Routing. GD Michael Wybrow, Kim Marriott, Peter J. Stuckey
2009	J	`jnl`	Propagating systems of dense linear integer constraints. Constraints An Int. J. Thibaut Feydy, Peter J. Stuckey
2009	J	`jnl`	Propagation via lazy clause generation. Constraints An Int. J. Olga Ohrimenko, Peter J. Stuckey, Michael Codish
2009	J	`jnl`	Tableau-based protein substructure search using quadratic programming. BMC Bioinform. Alex D. Stivala, Anthony Wirth, Peter J. Stuckey
2009	A	`conf`	The Proper Treatment of Undefinedness in Constraint Languages. CP Alan M. Frisch, Peter J. Stuckey
2009	A	`conf`	Using Relaxations in Maximum Density Still Life. CP Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
2009	A	`conf`	Why Cumulative Decomposition Is Not as Bad as It Sounds. CP Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace
2008	C	`conf`	Automating branch-and-bound for dynamic programs. PEPM Jakob Puchinger, Peter J. Stuckey
2008	B	`conf`	Cadmium: An Implementation of ACD Term Rewriting. ICLP Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey
2008	J	`jnl`	Comparing usability of one-way and multi-way constraints for diagram editing. ACM Trans. Comput. Hum. Interact. Michael Wybrow, Kim Marriott, Linda McIver, Peter J. Stuckey
2008	B	`conf`	Dynamic Analysis of Bounds Versus Domain Propagation. ICLP Christian Schulte, Peter J. Stuckey
2008	C	`conf`	Dynamic variable elimination during propagation solving. PPDP Christian Schulte, Peter J. Stuckey
2008	J	`jnl`	Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. Christian Schulte, Peter J. Stuckey
2008	J	`jnl`	Exploration of Networks using overview+detail with Constraint-based cooperative layout. IEEE Trans. Vis. Comput. Graph. Tim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow
2008	A	`conf`	Fast Set Bounds Propagation using BDDs. ECAI Graeme Gange, Vitaly Lagoon, Peter J. Stuckey
2008	C	`conf`	Flexible, Rule-Based Constraint Model Linearisation. PADL Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey
2008	B	`conf`	From High-Level Model to Branch-and-Price Solution in G12. CPAIOR Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand
2008	C	`conf`	Global difference constraint propagation for finite domain solvers. PPDP Thibaut Feydy, Andreas Schutt, Peter J. Stuckey
2008	J	`jnl`	HM(X) type inference is CLP(X) solving. J. Funct. Program. Martin Sulzmann, Peter J. Stuckey
2008	J	`jnl`	Logic programming with satisfiability. Theory Pract. Log. Program. Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2008	—	`conf`	Modelling for Lazy Clause Generation. CATS Olga Ohrimenko, Peter J. Stuckey
2008	J	`jnl`	New integer linear programming approaches for course timetabling. Comput. Oper. Res. Natashia Boland, Barry D. Hughes, Liam T. G. Merlot, Peter J. Stuckey
2008	Misc	`conf`	Optimizing Compilation of CHR with Rule Priorities. FLOPS Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
2008	A	`ed.`	Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings CP Peter J. Stuckey
2008	C	`conf`	Smooth Linear Approximation of Non-overlap Constraints. Diagrams Graeme Gange, Kim Marriott, Peter J. Stuckey
2008	J	`jnl`	Solving Partial Order Constraints for LPO Termination. J. Satisf. Boolean Model. Comput. Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2008	J	`jnl`	Structural search and retrieval using a tableau representation of protein folding patterns. Bioinform. Arun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk
2008	B	`conf`	Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2008	—	`conf`	The Core Concept for 0/1 Integer Programming. CATS Samuel J. Huston, Jakob Puchinger, Peter J. Stuckey
2008	J	`jnl`	The Design of the Zinc Modelling Language. Constraints An Int. J. Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace
2007	Misc	`conf`	Constraint propagation for loose constraint graphs. SAC Kathryn Francis, Peter J. Stuckey
2007	J	`jnl`	Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS J. Comput. Maria Garcia de la Banda, Peter J. Stuckey
2007	A	`conf`	Encodings of the Sequence Constraint. CP Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh
2007	J	`jnl`	Incremental Satisfiability and Implication for UTVPI Constraints CoRR Andreas Schutt, Peter J. Stuckey
2007	J	`jnl`	Logic Programming with Satisfiability CoRR Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2007	A	`conf`	MiniZinc: Towards a Standard CP Modelling Language. CP Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
2007	B	`conf`	Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey
2007	B	`conf`	Observable Confluence for Constraint Handling Rules. ICLP Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
2007	—	`conf`	Practical Preference Relations for Large Data Sets. ICDE Workshops Kenneth A. Ross, Peter J. Stuckey, Amélie Marian
2007	Misc	`conf`	Propagating dense systems of integer linear equations. SAC Thibaut Feydy, Peter J. Stuckey
2007	A	`conf`	Propagation = Lazy Clause Generation. CP Olga Ohrimenko, Peter J. Stuckey, Michael Codish
2007	J	`jnl`	Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2007	J	`jnl`	The island confinement method for reducing search space in local search methods. J. Heuristics Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
2007	J	`jnl`	Understanding functional dependencies via constraint handling rules. J. Funct. Program. Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
2006	Misc	`conf`	A Framework for Extended Algebraic Data Types. FLOPS Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
2006	C	`conf`	A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL Peter Hawkins, Peter J. Stuckey
2006	B	`conf`	A Stochastic Non-CNF SAT Solver. PRICAI Rafiq Muhammad, Peter J. Stuckey
2006	J	`jnl`	ACD Term Rewriting CoRR Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
2006	B	`conf`	ACD Term Rewriting. ICLP Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
2006	C	`conf`	Adding Constraint Solving to Mercury. PADL Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
2006	—	`ch.`	Constraint Logic Programming. Handbook of Constraint Programming Kim Marriott, Peter J. Stuckey, Mark Wallace
2006	J	`jnl`	Efficient constraint propagation engines CoRR Christian Schulte, Peter J. Stuckey
2006	A	`conf`	Fast Node Overlap Removal - Correction. GD Tim Dwyer, Kim Marriott, Peter J. Stuckey
2006	—	`conf`	Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey
2006	J	`jnl`	Improving PARMA trailing. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
2006	J	`jnl`	Islands for SAT CoRR Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
2006	J	`jnl`	Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds. J. Comput. Biol. Arun Siddharth Konagurthu, Peter J. Stuckey
2006	B	`conf`	Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
2006	—	`conf`	Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware. MGC@Middleware Lei Ni, Aaron Harwood, Peter J. Stuckey
2006	A	`conf`	Size-Change Termination Analysis in ESOP Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey
2006	—	`conf`	Solving Partial Order Constraints for LPO Termination. RTA Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2006	B	`conf`	Type Processing by Constraint Reasoning. APLAS Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2005	J	`jnl`	A theory of overloading. ACM Trans. Program. Lang. Syst. Peter J. Stuckey, Martin Sulzmann
2005	C	`conf`	Abstract interpretation for constraint handling rules. PPDP Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
2005	—	`conf`	Automatic Implication Checking for CHR Constraints. RULE@RDP Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
2005	J	`jnl`	Checking modes of HAL programs. Theory Pract. Log. Program. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
2005	C	`conf`	Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL James Bailey, Peter J. Stuckey
2005	A	`conf`	Fast Node Overlap Removal. GD Tim Dwyer, Kim Marriott, Peter J. Stuckey
2005	J	`jnl`	Improved Inference for Checking Annotations CoRR Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2005	J	`jnl`	Improving PARMA Trailing CoRR Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey
2005	A	`conf`	Incremental Connector Routing. GD Michael Wybrow, Kim Marriott, Peter J. Stuckey
2005	J	`jnl`	Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
2005	J	`jnl`	Solving Partial Order Constraints for LPO Termination CoRR Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2005	J	`jnl`	Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
2005	Misc	`conf`	Structuring Documents Efficiently. ALTA Robert Marshall, Steven Bird, Peter J. Stuckey
2005	B	`conf`	Testing for Termination with Monotonicity Constraints. ICLP Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2005	A	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005	B	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005	J	`jnl`	Type Inference for Guarded Recursive Data Types CoRR Peter J. Stuckey, Martin Sulzmann
2005	J	`jnl`	When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. Christian Schulte, Peter J. Stuckey
2004	—	`ch.`	A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
2004	J	`jnl`	Checking modes of HAL programs CoRR Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
2004	B	`conf`	Compiling Ask Constraints. ICLP Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
2004	J	`jnl`	Finite Domain Bounds Consistency Revisited CoRR Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey
2004	Misc	`ed.`	Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings FLOPS Yukiyoshi Kameyama, Peter J. Stuckey
2004	—	`ch.`	Herbrand Constraints in HAL. Program Development in Computational Logic Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
2004	C	`conf`	Improving type error diagnosis. Haskell Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2004	C	`conf`	Just enough tabling. PPDP Konstantinos Sagonas, Peter J. Stuckey
2004	J	`jnl`	NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. Kim Marriott, Peter J. Stuckey
2004	J	`jnl`	Optimizing compilation of constraint handling rules in HAL CoRR Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
2004	J	`jnl`	Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs. J. Bioinform. Comput. Biol. Arun Siddharth Konagurthu, James C. Whisstock, Peter J. Stuckey
2004	J	`jnl`	Removing Propagation Redundant Constraints in Redundant Modeling CoRR Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2004	—	`conf`	Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
2004	A	`conf`	Set Domain Propagation Using ROBDDs. CP Vitaly Lagoon, Peter J. Stuckey
2004	A	`conf`	Sound and Decidable Type Inference for Functional Dependencies. ESOP Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
2004	A	`conf`	Speeding Up Constraint Propagation. CP Christian Schulte, Peter J. Stuckey
2004	B	`conf`	The Refined Operational Semantics of Constraint Handling Rules. ICLP Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
2004	—	`conf`	Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN Kim Marriott, Bernd Meyer, Peter J. Stuckey
2003	A	`conf`	Box Constraint Collections for Adhoc Constraints. CP Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	A*	`conf`	Efficient Representation of Adhoc Constraints. IJCAI Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	C	`conf`	Extending arbitrary solvers with constraint handling rules. PPDP Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
2003	C	`conf`	Finding all minimal unsatisfiable subsets. PPDP Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny
2003	J	`jnl`	Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. Steve Barker, Peter J. Stuckey
2003	J	`jnl`	Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints An Int. J. Warwick Harvey, Peter J. Stuckey
2003	B	`conf`	Improving Nogood Recording Using 2SAT. ICTAI Peter J. Stuckey, Lei Zheng
2003	C	`conf`	Interactive type debugging in Haskell. Haskell Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2003	A*	`conf`	Propagation Redundancy for Permutation Channels. IJCAI Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	A	`conf`	Propagation Redundancy in Redundant Modelling. CP Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2003	J	`jnl`	Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints An Int. J. Kim Marriott, Peter J. Stuckey, Vincent W. L. Tam, Weiqing He
2003	B	`conf`	Resource Usage Verification. APLAS Kim Marriott, Peter J. Stuckey, Martin Sulzmann
2003	B	`conf`	Termination Analysis with Types Is More Accurate. ICLP Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey
2003	—	`conf`	The Chameleon Type Debugger (Tool Demonstration) AADEBUG Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2002	C	`conf`	A Hybrid Algorithm for the Examination Timetabling Problem. PATAT Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey
2002	A	`conf`	A theory of overloading. ICFP Peter J. Stuckey, Martin Sulzmann
2002	Misc	`conf`	Compacting Discriminator Information for Spatial Trees. Australasian Database Conference Inga Sitzmann, Peter J. Stuckey
2002	C	`conf`	Constraint-based mode analysis of mercury. PPDP David Overton, Zoltan Somogyi, Peter J. Stuckey
2002	J	`jnl`	Efficient Intelligent Backtracking Using Linear Programming. INFORMS J. Comput. Bruce Davey, Natashia Boland, Peter J. Stuckey
2002	A	`conf`	Exception analysis for non-strict languages. ICFP Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
2002	J	`jnl`	Flexible Graph Layout for the Web. J. Vis. Lang. Comput. Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey
2002	J	`jnl`	Fourier Elimination for Compiling Constraint Hierarchies. Constraints An Int. J. Warwick Harvey, Peter J. Stuckey, Alan Borning
2002	A	`conf`	Improving GSAT Using 2SAT. CP Peter J. Stuckey, Lei Zheng
2002	—	`conf`	Improving SAT Using 2SAT. ACSC Lei Zheng, Peter J. Stuckey
2002	B	`ed.`	Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings ICLP Peter J. Stuckey
2002	C	`conf`	Precise pair-sharing analysis of logic programs. PPDP Vitaly Lagoon, Peter J. Stuckey
2002	—	`conf`	Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
2002	Misc	`conf`	To the Gates of HAL: A HAL Tutorial. FLOPS Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
2002	C	`conf`	Using the heap to eliminate stack accesses. PPDP Zoltan Somogyi, Peter J. Stuckey
2001	Misc	`conf`	A Framework for Analysis of Typed Logic Programs. FLOPS Vitaly Lagoon, Peter J. Stuckey
2001	—	`conf`	Boolean Constraints for Binding-Time Analysis. PADO Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
2001	B	`conf`	Building Constraint Solvers with HAL. ICLP Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
2001	B	`conf`	Cost-based Unbalanced R-Trees. SSDBM Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey
2001	B	`conf`	Effective Strictness Analysis with HORN Constraints. SAS Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
2001	B	`conf`	Higher-Precision Groundness Analysis. ICLP Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey
2001	B	`conf`	Optimizing Compilation of Constraint Handling Rules. ICLP Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
2001	A	`conf`	Solving Disjunctive Constraints for Interactive Graphical Applications. CP Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning
2001	J	`jnl`	The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput. Hum. Interact. Greg J. Badros, Alan Borning, Peter J. Stuckey
2001	C	`conf`	When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP Christian Schulte, Peter J. Stuckey
2000	J	`jnl`	A Lagrangian reconstruction of GENET. Artif. Intell. Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
2000	—	`conf`	A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000	C	`conf`	A model for inter-module analysis and optimizing compilation. LOPSTR Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	C	`conf`	Improving Temporal Joins Using Histograms. DEXA Inga Sitzmann, Peter J. Stuckey
2000	J	`jnl`	Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
2000	—	`conf`	Model Checking in HAL. Computational Logic Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
2000	Misc	`conf`	O-Trees: A Constraint-Based Index Structure. Australasian Database Conference Inga Sitzmann, Peter J. Stuckey
2000	J	`jnl`	Type Classes and Constraint Handling Rules CoRR Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
1999	A	`conf`	An Overview of HAL. CP Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999	J	`jnl`	Book reviews. Intell. Kim Marriott, Peter J. Stuckey
1999	A*	`conf`	Constraint Cascading Style Sheets for the Web. ACM Symposium on User Interface Software and Technology Greg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey
1999	B	`conf`	Herbrand Constraint Solving in HAL. ICLP Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999	J	`jnl`	Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. Int. J. Artif. Intell. Tools Peter J. Stuckey, Vincent W. L. Tam
1999	J	`jnl`	Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. Michael Codish, Harald Søndergaard, Peter J. Stuckey
1998	B	`conf`	A Lagrangian reconstruction of a class of local search methods. ICTAI Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
1998	J	`jnl`	A Practical Object-Oriented Analysis Engine for CLP. Softw. Pract. Exp. Kim Marriott, Harald Søndergaard, Peter J. Stuckey
1998	A	`conf`	Constraint Representation for Propagation. CP Warwick Harvey, Peter J. Stuckey
1998	J	`jnl`	Differential Methods in Logic Program Analysis. J. Log. Program. Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
1998	J	`jnl`	Extending GENET with lazy arc consistency. IEEE Trans. Syst. Man Cybern. Part A Peter J. Stuckey, Vincent W. L. Tam
1998	J	`jnl`	Foundations of Aggregation Constraints. Theor. Comput. Sci. Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
1998	J	`jnl`	Optimizing Compilation of CLP(R). ACM Trans. Program. Lang. Syst. Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
1998	J	`jnl`	Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. J. Funct. Log. Program. Peter J. Stuckey, Vincent W. L. Tam
1998	J	`jnl`	The Semantics of Constraint Logic Programs. J. Log. Program. Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
1997	J	`jnl`	An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. J. Syst. Integr. David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey
1997	A	`conf`	Compiling Constraint Solving using Projection. CP Warwick Harvey, Peter J. Stuckey, Alan Borning
1997	B	`conf`	Constraint Search Tree. ICLP Peter J. Stuckey
1997	B	`conf`	Extending EGENET with Lazy Constraint Consistency. ICTAI Peter J. Stuckey, Vincent W. L. Tam
1997	J	`jnl`	Introduction to the Special Issue on Constraints and Databases. Constraints An Int. J. Raghu Ramakrishnan, Peter J. Stuckey
1997	J	`jnl`	Meta-Programming in CLP(R). J. Log. Program. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1997	B	`conf`	Optimization of Logic Programs with Dynamic Scheduling. ICLP Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
1997	A*	`conf`	Solving Linear Arithmetic Constraints for User Interface Applications. ACM Symposium on User Interface Software and Technology Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao
1997	J	`jnl`	Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. J. Log. Program. Peter J. Stuckey, S. Sudarshan
1996	—	`conf`	Cost-Based Optimization for Magic: Algebra and Implementation. SIGMOD Conference Praveen Seshadri, Joseph M. Hellerstein, Hamid Pirahesh, T. Y. Cliff Leung, Raghu Ramakrishnan, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
1996	—	`conf`	Effectiveness of Optimizing Compilation for CLP(R). JICSLP Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap
1996	—	`conf`	Low-contact learning in a first year programming course. ACSE Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey
1996	—	`conf`	Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP Peter J. Stuckey, Vincent W. L. Tam
1996	J	`jnl`	Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. David B. Kemp, Peter J. Stuckey
1996	B	`conf`	Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey
1996	—	`conf`	Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won
1995	A	`conf`	An Optimizing Compiler for CLP(R). CP Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap
1995	J	`jnl`	Bottom-Up Evaluation and Query Optimization of Well-Founded Models. Theor. Comput. Sci. David B. Kemp, Divesh Srivastava, Peter J. Stuckey
1995	—	`conf`	ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey
1995	—	`conf`	Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
1995	B	`conf`	Incremental Analysis of Logic Programs. ICLP Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
1995	B	`conf`	Linear Equation Solving for Constraint Logic Programming. ICLP Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap
1995	J	`jnl`	Negation and Constraint Logic Programming Inf. Comput. Peter J. Stuckey
1995	J	`jnl`	On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. Michael J. Maher, Peter J. Stuckey
1994	—	`conf`	Approximating Interaction between Linear Arithmetic Constraints. ILPS Kim Marriott, Peter J. Stuckey
1994	—	`conf`	Beyond Finite Domains. PPCP Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1994	A*	`conf`	Compiling Query Constraints. PODS Peter J. Stuckey, S. Sudarshan
1994	—	`conf`	Foundations of Aggregation Constraints. PPCP Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
1994	—	`ed.`	ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994 ILPS Workshop: Constraints and Databases Peter Z. Revesz, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
1994	—	`conf`	Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms Kim Marriott, Peter J. Stuckey
1994	J	`jnl`	The Aditi Deductive Database System VLDB J. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
1993	B	`conf`	Analysis Based Constraint Query Optimization. ICLP David B. Kemp, Peter J. Stuckey
1993	J	`jnl`	Projecting CLP (R) Constraints. New Gener. Comput. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1993	—	`conf`	Redundancy of Variables in CLP (R). ILPS Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
1993	J	`jnl`	Semantics of Constraint Logic Programs with Optimization. LOPLAS Kim Marriott, Peter J. Stuckey
1993	B	`conf`	Status of the Aditi Deductive Database System. ICLP Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
1993	A*	`conf`	The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL Kim Marriott, Peter J. Stuckey
1993	—	`conf`	The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
1993	—	`conf`	Well-Founded Ordered Search (Extended Abstract). FSTTCS Peter J. Stuckey, S. Sudarshan
1992	A*	`conf`	An Abstract Machine for CLP(R). PLDI Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1992	J	`jnl`	CLP(R) and Some Electrical Engineering Problems. J. Autom. Reason. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
1992	—	`conf`	Output in CLP. FGCS Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1992	—	`conf`	Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP David B. Kemp, Peter J. Stuckey, Divesh Srivastava
1992	J	`jnl`	The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1992	J	`jnl`	Transforming Normal Logic Programs to Constraint Logic Programs. Theor. Comput. Sci. Kanchana Kanchanasut, Peter J. Stuckey
1991	J	`jnl`	An Introduction to Aditi Deductive Database System. Aust. Comput. J. Jayen Vaghani, David B. Kemp, Peter J. Stuckey
1991	A*	`conf`	Constructive Negation for Constraint Logic Programming LICS Peter J. Stuckey
1991	A*	`conf`	Design Overview of the Aditi Deductive Database System. ICDE Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
1991	J	`jnl`	Incremental Linear Constraint Solving and Detection of Implicit Equalities. INFORMS J. Comput. Peter J. Stuckey
1991	—	`conf`	Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP David B. Kemp, Divesh Srivastava, Peter J. Stuckey
1991	—	`conf`	Semantics of Logic Programs with Aggregates. ISLP David B. Kemp, Peter J. Stuckey
1991	—	`conf`	The CLP(R) language and system: an overview. Compcon Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1990	—	`conf`	A Constraint Logic Programming Shell. PLILP Pierre Lim, Peter J. Stuckey
1990	—	`conf`	Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
1990	—	`conf`	Eliminating Negation from Normal Logic Programs. ALP Kanchana Kanchanasut, Peter J. Stuckey
1990	—	`conf`	Meta Programming as Constraint Programming. NACLP Pierre Lim, Peter J. Stuckey
1989	—	`conf`	Expanding Query Power in Constraint Logic Programming Languages. NACLP Michael J. Maher, Peter J. Stuckey
1989	J	`jnl`	Interface Logic Programming. Aust. Comput. J. John N. Crossley, Pierre Lim, Peter J. Stuckey
1989	—	`conf`	On Meta-Programming in CLR(R). NACLP Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1987	B	`conf`	CLP(R) and Some Electrical Engineering Problems. ICLP Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
1986	J	`jnl`	Canonical Logic Programs. J. Log. Program. Joxan Jaffar, Peter J. Stuckey
1986	B	`conf`	Logic Program Semantics for Programming with Equations. ICLP Joxan Jaffar, Peter J. Stuckey
1986	J	`jnl`	Semantics of Infinite Tree Logic Programming. Theor. Comput. Sci. Joxan Jaffar, Peter J. Stuckey