default search action

combined dblp search
author search
venue search
publication search

ask others

Peter J. Stuckey

Peter James Stuckey

> Home > Persons

Person information

affiliation: Monash University, Australia
affiliation (former): University of Melbourne, Australia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2026
[j135]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/FuDSG26
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/FuDSG26
Shuai Fu, Tim Dwyer, Peter J. Stuckey, John C. Grundy:
GeckoGraph: A visual language for polymorphic types. J. Comput. Lang. 86: 101381 (2026)
2025
[j134]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/BergmeirNGSABBBDEEFGGGK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/BergmeirNGSABBBDEEFGGGK25
Christoph Bergmeir, Frits de Nijs, Evgenii Genov, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan:
Predict+Optimize Problem in Renewable Energy Scheduling. IEEE Access 13: 60064-60087 (2025)
[j133]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/CaiCLZBLLGDQGILVSBR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/CaiCLZBLLGDQGILVSBR25
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:
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. IEEE Robotics Autom. Lett. 10(9): 9502-9509 (2025)
[c400]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZangZJCHS025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZangZJCHS025
Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li:
Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. AAAI 2025: 14726-14735
[c399]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZhangCHBS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZhangCHBS25
Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities. AAAI 2025: 23387-23394
[c398]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PierauMRS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PierauMRS25
Ruth-Emely Pierau, Alaster Meehan, Hamid Rezatofighi, Peter J. Stuckey:
Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums Through Simulated Annealing (Student Abstract). AAAI 2025: 29466-29468
[c397]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/Beck0LSZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Beck0LSZ25
J. Christopher Beck, Ryo Kuroiwa, Jimmy H. M. Lee, Peter J. Stuckey, Allen Z. Zhong:
Transition Dominance in Domain-Independent Dynamic Programming. CP 2025: 5:1-5:23
[c396]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/DekkerNST25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DekkerNST25
Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack:
Unit Types for MiniZinc. CP 2025: 10:1-10:20
[c395]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/DekkerISZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DekkerISZ25
Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong:
Towards Modern and Modular SAT for LCG (Short Paper). CP 2025: 42:1-42:12
[c394]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GjergjiKBMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GjergjiKBMS25
Ida Gjergji, Lucas Kletzander, Hendrik Bierlee, Nysret Musliu, Peter J. Stuckey:
Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective. CPAIOR (2) 2025: 1-17
[c393]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BierleeDS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BierleeDS25
Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey:
Revisiting Pseudo-Boolean Encodings from an Integer Perspective. CPAIOR (1) 2025: 113-133
[c392]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/DaviesDPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/DaviesDPS25
Toby O. Davies, Frédéric Didier, Laurent Perron, Peter J. Stuckey:
Parallelising Lazy Clause Generation with Trail Sharing. CPAIOR (1) 2025: 205-221
[c391]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/RohovyiSW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/RohovyiSW25
Andrii Rohovyi, Peter J. Stuckey, Toby Walsh:
Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance. ICTAI 2025: 925-931
[c390]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/IzzaIR0S25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/IzzaIR0S25
Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey:
Most General Explanations of Tree Ensembles. IJCAI 2025: 5463-5471
[c389]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Abu-AishaSHS025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Abu-AishaSHS025
Abdallah Abu-Aisha, Bojie Shen, Daniel Damir Harabor, Peter J. Stuckey, Mark Wallace:
Dynamic Replanning for Improved Public Transport Routing. IJCAI 2025: 8430-8437
[d25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/DekkerISZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/DekkerISZ25
Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong:
Huub: Lazy Clause Generation Solver. Zenodo, 2025
[d24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/DekkerISZ25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/DekkerISZ25a
Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong:
Huub: Lazy Clause Generation Solver. DROPS Artifacts, 2025
[d23]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS25
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.9.0. Zenodo, 2025 [all versions]
[d22]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS25a
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.9.1. Zenodo, 2025 [all versions]
[d21]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS25b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS25b
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.9.2. Zenodo, 2025 [all versions]
[d20]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS25c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS25c
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.9.3. Zenodo, 2025 [all versions]
[i98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-14847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-14847
Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Efficient Lower Bounding of Single Transferable Vote Election Margins. CoRR abs/2501.14847 (2025)
[i97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-00372
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-00372
Zhixi Cai, Fucai Ke, Simindokht Jahangard, Maria Garcia de la Banda, Reza Haffari, Peter J. Stuckey, Hamid Rezatofighi:
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning. CoRR abs/2502.00372 (2025)
[i96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-14931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-14931
Boying Li, Vuong Chi Hao, Peter J. Stuckey, Ian D. Reid, Hamid Rezatofighi:
Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting. CoRR abs/2502.14931 (2025)
[i95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-14803
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-14803
Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. CoRR abs/2503.14803 (2025)
[i94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-16104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-16104
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Doing More With Less: Mismatch-Based Risk-Limiting Audits. CoRR abs/2503.16104 (2025)
[i93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-10991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-10991
Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey:
Most General Explanations of Tree Ensembles (Extended Version). CoRR abs/2505.10991 (2025)
[i92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-14193
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-14193
Abdallah Abu-Aisha, Bojie Shen, Daniel Harabor, Peter J. Stuckey, Mark Wallace:
Dynamic Replanning for Improved Public Transport Routing. CoRR abs/2505.14193 (2025)
[i91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-05890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-05890
Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery. CoRR abs/2508.05890 (2025)
[i90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-13370
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-13370
Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
To whom did my vote go? CoRR abs/2509.13370 (2025)
2024
[j132]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AlbertBHIRS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AlbertBHIRS24
Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8(PLDI): 1437-1462 (2024)
[j131]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/KafleGSSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/KafleGSSS24
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23(2): 319-342 (2024)
[j130]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/YuFITS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/YuFITS24
Jinqiang Yu, Michael Fu, Alexey Ignatiev, Chakkrit Tantithamthavorn, Peter J. Stuckey:
A Formal Explainer for Just-In-Time Defect Predictions. ACM Trans. Softw. Eng. Methodol. 33(7): 187:1-187:31 (2024)
[c388]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/IzzaIS024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/IzzaIS024
Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva:
Delivering Inflated Explanations. AAAI 2024: 12744-12753
[c387]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0016H0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0016H0S24
Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. AAAI 2024: 20674-20682
[c386]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BierleeDLST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BierleeDLST24
Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack:
Single Constant Multiplication for SAT. CPAIOR (1) 2024: 84-98
[c385]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/evoteid/EkBSSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/EkBSSV24
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. E-Vote-ID 2024: 37-53
[c384]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BlomSTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BlomSTV24
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
RLAs for 2-Seat STV Elections: Revisited. FC Workshops 2024: 3-17
[c383]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/EkSSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/EkSSV24
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. FC Workshops 2024: 18-32
[c382]
- view
  authority control:
- export record
  dblp key:
  - conf/icaps/ZhangCHBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaps/ZhangCHBS24
Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. ICAPS 2024: 707-715
[c381]
- view
  authority control:
- export record
  dblp key:
  - conf/mod/LiSKK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mod/LiSKK24
Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Rapidly Computing Approximate Graph Convex Hulls via FastMap. LOD (2) 2024: 323-338
[c380]
- view
  - electronic edition @ nips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/HuLLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/HuLLS24
Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Peter J. Stuckey:
Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs. NeurIPS 2024
[c379]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/YuFIS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/YuFIS24
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey:
Anytime Approximate Formal Feature Attribution. SAT 2024: 30:1-30:23
[c378]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/CarlsonHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/CarlsonHS24
Mark Carlson, Daniel Harabor, Peter J. Stuckey:
Avoiding Node Re-Expansions Can Break Symmetry Breaking. SOCS 2024: 20-27
[c377]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/LiSKK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/LiSKK24
Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Solving Facility Location Problems via FastMap and Locality Sensitive Hashing. SOCS 2024: 46-54
[c376]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/0016H0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/0016H0S24
Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding (Extended Abstract). SOCS 2024: 265-266
[c375]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/Zhang0HBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Zhang0HBS24
Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract). SOCS 2024: 303-304
[d19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/AlbertBHIRS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertBHIRS24
Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques". Zenodo, 2024
[d18]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS24
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.3. Zenodo, 2024 [all versions]
[d17]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS24a
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.4. Zenodo, 2024 [all versions]
[d16]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS24
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.5. Zenodo, 2024 [all versions]
[d15]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS24a
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.6. Zenodo, 2024 [all versions]
[d14]
- view
  authority control:
- export record
  dblp key:
  - data/11/TackDLBNBS24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/TackDLBNBS24b
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.7. Zenodo, 2024 [all versions]
[i89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-03707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-03707
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
RLAs for 2-Seat STV Elections: Revisited. CoRR abs/2402.03707 (2024)
[i88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-15400
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-15400
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. CoRR abs/2403.15400 (2024)
[i87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-12697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-12697
Shuai Fu, Tim Dwyer, Peter J. Stuckey, John Grundy:
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets. CoRR abs/2405.12697 (2024)
[i86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-12699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-12699
Shuai Fu, Tim Dwyer, Peter J. Stuckey:
GeckoGraph: A Visual Language for Polymorphic Types. CoRR abs/2405.12699 (2024)
[i85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-09661
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-09661
Miquel Ramírez, Anubhav Singh, Peter J. Stuckey, Chris Manzie:
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems. CoRR abs/2406.09661 (2024)
[i84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-16465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-16465
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. CoRR abs/2407.16465 (2024)
[i83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-10196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-10196
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi:
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. CoRR abs/2409.10196 (2024)
[i82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-11627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-11627
Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Idiosyncratic properties of Australian STV election counting. CoRR abs/2409.11627 (2024)
[i81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-14219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-14219
Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey:
Formal Explanations for Neuro-Symbolic AI. CoRR abs/2410.14219 (2024)
[i80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-15715
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-15715
Andrii Rohovyi, Peter J. Stuckey, Toby Walsh:
Timetable Nodes for Public Transport Network. CoRR abs/2410.15715 (2024)
[i79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-16506
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-16506
Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li:
Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. CoRR abs/2411.16506 (2024)
2023
[j129]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/AmarasingheASBL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/AmarasingheASBL23
Piyumi R. Amarasinghe, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu:
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. Bioinform. 39(Supplement-1): 357-367 (2023)
[j128]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jss/AlbertBGIS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AlbertBGIS23
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202: 111730 (2023)
[c374]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/YuISN023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/YuISN023
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI 2023: 4123-4131
[c373]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CarlsonMHSE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CarlsonMHSE23
Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi:
Optimal Pathfinding on Weighted Grid Maps. AAAI 2023: 12373-12380
[c372]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/0001HS023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001HS023
Edward Lam, Daniel Damir Harabor, Peter J. Stuckey, Jiaoyang Li:
Exact Anytime Multi-Agent Path Finding Using Branch-and-Cut-and-Price and Large Neighborhood Search. ICAPS 2023: 254-258
[c371]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/PolyakovskiyS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/PolyakovskiyS23
Sergey Polyakovskiy, Peter J. Stuckey:
A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem. ICAPS 2023: 352-360
[c370]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/Shen00CHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/Shen00CHS23
Bojie Shen, Zhe Chen, Jiaoyang Li, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Beyond Pairwise Reasoning in Multi-Agent Path Finding. ICAPS 2023: 384-392
[c369]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/YuIS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/YuIS23
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey:
From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP 2023: 38:1-38:21
[c368]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/Vaz0LS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Vaz0LS23
Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey:
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP 2023: 42:1-42:10
[c367]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/EkSSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/EkSSV23
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. E-Vote-ID 2023: 35-51
[c366]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BlomSTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BlomSTV23
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Risk-Limiting Audits for Condorcet Elections. FC Workshops 2023: 79-94
[c365]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmcad/Stuckey23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Stuckey23
Peter J. Stuckey:
MiniZinc for Formal Methods. FMCAD 2023: 1
[c364]
- view
  authority control:
- export record
  dblp key:
  - conf/icores/OxenstiernaRSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icores/OxenstiernaRSK23
Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger:
Storage Assignment Using Nested Annealing and Hamming Distances. ICORES 2023: 94-105
[c363]
- view
  authority control:
- export record
  dblp key:
  - conf/icores/OxenstiernaRSK23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icores/OxenstiernaRSK23a
Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger:
Optimization of the Storage Location Assignment Problem Using Nested Annealing. ICORES (Selected Papers) 2023: 220-244
[c362]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AmadiniS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AmadiniS23
Roberto Amadini, Peter J. Stuckey:
A Regular Matching Constraint for String Variables. IJCAI 2023: 1868-1875
[c361]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/FuDSWL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/FuDSWL23
Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier:
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. ICPC 2023: 146-156
[c360]
- view
  authority control:
- export record
  dblp key:
  - conf/mod/LiSKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mod/LiSKK23
Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
A FastMap-Based Framework for Efficiently Computing Top-K Projected Centrality. LOD (1) 2023: 158-173
[c359]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/ZhangHBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/ZhangHBS23
Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Efficient Multi Agent Path Finding with Turn Actions. SOCS 2023: 119-127
[c358]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/ZhaoHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/ZhaoHS23
Shizhe Zhao, Daniel Harabor, Peter J. Stuckey:
Reducing Redundant Work in Jump Point Search. SOCS 2023: 128-136
[d13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BergmeirBNS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BergmeirBNS23
Christoph Bergmeir, Quang Bui, Frits de Nijs, Peter J. Stuckey:
Residential Power and Battery Data. Zenodo, 2023
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.0. Zenodo, 2023 [all versions]
[d11]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23a
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.1. Zenodo, 2023 [all versions]
[d10]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23b
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.2. Zenodo, 2023 [all versions]
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23c
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.3. Zenodo, 2023 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23d
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.4. Zenodo, 2023 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23e
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.5. Zenodo, 2023 [all versions]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23f
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.6. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23g
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.0. Zenodo, 2023 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23h
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23h
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.1. Zenodo, 2023 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23i
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23i
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.2. Zenodo, 2023 [all versions]
[i78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-09791
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-09791
Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier:
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. CoRR abs/2303.09791 (2023)
[i77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-10509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-10509
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Risk-Limiting Audits for Condorcet Elections. CoRR abs/2303.10509 (2023)
[i76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-08446
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-08446
Bojie Shen, Zhe Chen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Tracking Progress in Multi-Agent Path Finding. CoRR abs/2305.08446 (2023)
[i75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-06455
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-06455
Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey:
Scalable Rail Planning and Replanning with Soft Deadlines. CoRR abs/2306.06455 (2023)
[i74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-15272
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-15272
Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva:
Delivering Inflated Explanations. CoRR abs/2306.15272 (2023)
[i73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-15928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-15928
Shizhe Zhao, Daniel Harabor, Peter J. Stuckey:
Reducing Redundant Work in Jump Point Search. CoRR abs/2306.15928 (2023)
[i72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-03380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-03380
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey:
On Formal Feature Attribution and Its Approximation. CoRR abs/2307.03380 (2023)
[i71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-08242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-08242
Anubhav Singh, Miquel Ramírez, Nir Lipovetzky, Peter J. Stuckey:
Lifted Sequential Planning with Lazy Constraint Generation Solvers. CoRR abs/2307.08242 (2023)
[i70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10972
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10972
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR abs/2307.10972 (2023)
[i69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-06292
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-06292
Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu:
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. CoRR abs/2308.06292 (2023)
[i68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-11234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-11234
Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. CoRR abs/2308.11234 (2023)
[i67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-06973
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-06973
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey:
Anytime Approximate Formal Feature Attribution. CoRR abs/2312.06973 (2023)
2022
[j127]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ShenCHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ShenCHS22
Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Fast optimal and bounded suboptimal Euclidean pathfinding. Artif. Intell. 302: 103624 (2022)
[j126]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/RajapaksaSLASB022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/RajapaksaSLASB022
Sandun Rajapaksa, Dinithi Sumanaweera, Arthur M. Lesk, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arun Siddharth Konagurthu:
On the reliability and the limits of inference of amino acid sequence alignments. Bioinform. 38(Supplement_1): i255-i263 (2022)
[j125]
- view
  authority control:
- export record
  dblp key:
  - journals/cor/LamBHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cor/LamBHS22
Edward Lam, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey:
Branch-and-cut-and-price for multi-agent path finding. Comput. Oper. Res. 144: 105809 (2022)
[j124]
- view
  authority control:
- export record
  dblp key:
  - journals/cor/LamDS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cor/LamDS22
Edward Lam, Guy Desaulniers, Peter J. Stuckey:
Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations. Comput. Oper. Res. 145: 105870 (2022)
[j123]
- view
  - electronic edition @ jmlr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/jmlr/DemirovicLHCBLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmlr/DemirovicLHCBLR22
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey:
MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. 23: 26:1-26:47 (2022)
[c357]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GulerDC0LS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GulerDC0LS22
Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey:
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. AAAI 2022: 3749-3757
[c356]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/IgnatievIS022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/IgnatievIS022
Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva:
Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI 2022: 3776-3785
[c355]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Chan0GHSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Chan0GHSK22
Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. AAAI 2022: 9313-9322
[c354]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0001CHSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001CHSK22
Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search. AAAI 2022: 10256-10265
[c353]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/HuHGSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/HuHGSS22
Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS 2022: 169-173
[c352]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/ShenCHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ShenCHS22
Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Improving Time-Dependent Contraction Hierarchies. ICAPS 2022: 338-347
[c351]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/EkSST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/EkSST22
Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Explaining Propagation for Gini and Spread with Variable Mean. CP 2022: 21:1-21:16
[c350]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BierleeGTDS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BierleeGTDS22
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey:
Coupling Different Integer Encodings for SAT. CPAIOR 2022: 44-63
[c349]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/LiSKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/LiSKK22
Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
A FastMap-Based Algorithm for Block Modeling. CPAIOR 2022: 232-248
[c348]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/StuckeyT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/StuckeyT22
Peter J. Stuckey, Guido Tack:
Enumerated Types and Type Extensions for MiniZinc. CPAIOR 2022: 374-389
[c347]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/EverestBSSTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/EverestBSSTV22
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 525-540
[c346]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BlomSTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BlomSTV22
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. Financial Cryptography Workshops 2022: 366-380
[c345]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/ParkGDCSBLK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/ParkGDCSBLK22
Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri:
Modelling Zeros in Blockmodelling. PAKDD (2) 2022: 187-198
[c344]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/Chen0HSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Chen0HSK22
Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Multi-Train Path Finding Revisited. SOCS 2022: 38-46
[c343]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/HechenbergerSBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/HechenbergerSBH22
Ryan Hechenberger, Peter J. Stuckey, Pierre Le Bodic, Daniel Damir Harabor:
Dual Euclidean Shortest Path Search (Extended Abstract). SOCS 2022: 285-287
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDBLNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDBLNS22
Guido Tack, Jip J. Dekker, Gleb Belov, Kevin Leo, Jason Nguyen, Peter J. Stuckey:
MiniZinc. Version 2.6.4. Zenodo, 2022 [all versions]
[i66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-14634
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-14634
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. CoRR abs/2205.14634 (2022)
[i65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09551
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022)
[i64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-14605
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-14605
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. CoRR abs/2206.14605 (2022)
[i63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-02436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-02436
Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic:
Multi-Target Search in Euclidean Space with Ray Shooting (Full Version). CoRR abs/2207.02436 (2022)
[i62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-03881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-03881
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CoRR abs/2209.03881 (2022)
[i61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-10723
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-10723
Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan:
Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR abs/2212.10723 (2022)
2021
[j122]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LiHSMGK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LiHSMGK21
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig:
Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. 301: 103574 (2021)
[j121]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/YuISB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/YuISB21
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Learning Optimal Decision Sets and Lists with SAT. J. Artif. Intell. Res. 72: 1251-1279 (2021)
[j120]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/ChenABHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/ChenABHS21
Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey:
Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. IEEE Robotics Autom. Lett. 6(3): 5816-5823 (2021)
[j119]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GangeMNSSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GangeMNSSS21
Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43(3): 11:1-11:51 (2021)
[j118]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/KafleGSSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/KafleGSSS21
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021)
[c342]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DemirovicS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DemirovicS21
Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. AAAI 2021: 3733-3741
[c341]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DevriendtGDNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DevriendtGDNS21
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey:
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI 2021: 3750-3758
[c340]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Ignatiev0S021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Ignatiev0S021
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI 2021: 3806-3814
[c339]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BoyarskiFBHSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BoyarskiFBHSK21
Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey, Sven Koenig:
f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search. AAAI 2021: 12241-12248
[c338]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChenH0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChenH0S21
Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. AAAI 2021: 12267-12274
[c337]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/HuHGSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/HuHGSS21
Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Jump Point Search with Temporal Obstacles. ICAPS 2021: 184-191
[c336]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/ShenCHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ShenCHS21
Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Contracting and Compressing Shortest Path Databases. ICAPS 2021: 322-330
[c335]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/0001CZCHS0K21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001CZCHS0K21
Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. ICAPS 2021: 477-485
[c334]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0001CHSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0001CHSK21
Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. AAMAS 2021: 1581-1583
[c333]
- view
  authority control:
- export record
  dblp key:
  - conf/bibm/RajapaksaSBSAAL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibm/RajapaksaSBSAAL21
Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu:
On identifying statistical redundancy at the level of amino acid subsequences. BIBM 2021: 64-71
[c332]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/SenthooranBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SenthooranBS21
Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey:
Optimising Training for Service Delivery. CP 2021: 48:1-48:15
[c331]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/BlomBRSSTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/BlomBRSSTV21
Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. E-VOTE-ID 2021: 47-62
[c330]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BlomSSTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BlomSSTV21
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. Financial Cryptography Workshops 2021: 235-250
[c329]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/0001CHSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/0001CHSK21
Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. IJCAI 2021: 4127-4135
[c328]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Ignatiev0NS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Ignatiev0NS21
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465
[c327]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GangeNSSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GangeNSSS21
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. SAS 2021: 144-165
[c326]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/KafleGSSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/KafleGSSS21
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Lightweight Nontermination Inference with CHCs. SEFM 2021: 383-402
[c325]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/MaheoZAHS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/MaheoZAHS021
Arthur Mahéo, Shizhe Zhao, Hassan Afzaal, Daniel Harabor, Peter J. Stuckey, Mark Wallace:
Customised Shortest Paths Using a Distributed Reverse Oracle. SOCS 2021: 79-87
[c324]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/ChanLGHSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/ChanLGHSK21
Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. SOCS 2021: 159-161
[c323]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/HechenbergerHCS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/HechenbergerHCS21
Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic:
Multi-Target Search in Euclidean Space with Ray Shooting. SOCS 2021: 176-178
[c322]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/0001CZCHS0K21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/0001CZCHS0K21
Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. SOCS 2021: 179-181
[c321]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/BoyarskiFBHSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/BoyarskiFBHSK21
Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Further Improved Heuristics For Conflict-Based Search. SOCS 2021: 213-215
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/2021
Peter J. Stuckey:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings. Lecture Notes in Computer Science 12735, Springer 2021, ISBN 978-3-030-78229-0 [contents]
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-01904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-01904
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. CoRR abs/2102.01904 (2021)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-08510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-08510
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. CoRR abs/2102.08510 (2021)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-08689
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-08689
Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. CoRR abs/2102.08689 (2021)
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-07116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-07116
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search. CoRR abs/2103.07116 (2021)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-11903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-11903
Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. CoRR abs/2107.11903 (2021)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00633
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00633
Buser Say, Scott Sanner, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. CoRR abs/2108.00633 (2021)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-03178
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-03178
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. CoRR abs/2108.03178 (2021)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-14891
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-14891
Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey:
Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. CoRR abs/2110.14891 (2021)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-09921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-09921
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. CoRR abs/2112.09921 (2021)
2020
[j117]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AmadiniGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AmadiniGS20
Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Dashed strings for string constraint solving. Artif. Intell. 289: 103368 (2020)
[j116]
- view
  authority control:
- export record
  dblp key:
  - journals/heuristics/BelovBSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/heuristics/BelovBSS20
Gleb Belov, Natashia L. Boland, Martin W. P. Savelsbergh, Peter J. Stuckey:
Logistics optimization for a coal supply chain. J. Heuristics 26(2): 269-300 (2020)
[j115]
- view
  authority control:
- export record
  dblp key:
  - journals/orf/LamGSHD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/orf/LamGSHD20
Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker:
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum 1(3) (2020)
[c320]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DemirovicSG0LRC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DemirovicSG0LRC20
Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan:
Dynamic Programming for Predict+Optimise. AAAI 2020: 1444-1451
[c319]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EkBSST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EkBSST20
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Modelling and Solving Online Optimisation Problems. AAAI 2020: 1477-1485
[c318]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/IngmarBST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/IngmarBST20
Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack:
Modelling Diversity of Solutions. AAAI 2020: 1528-1535
[c317]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/MandiDSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MandiDSG20
Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns:
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI 2020: 1603-1610
[c316]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WinterMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WinterMS20
Felix Winter, Nysret Musliu, Peter J. Stuckey:
Explaining Propagators for String Edit Distance Constraints. AAAI 2020: 1676-1683
[c315]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BlomCST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BlomCST20
Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague:
Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. AAAI 2020: 13235-13240
[c314]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChanCFLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChanCFLS20
Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey:
Teaching Constraint Programming Using Fable-Based Learning. AAAI 2020: 13366-13373
[c313]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/HechenbergerSHB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/HechenbergerSHB20
Ryan Hechenberger, Peter J. Stuckey, Daniel Harabor, Pierre Le Bodic, Muhammad Aamir Cheema:
Online Computation of Euclidean Shortest Paths in Two Dimensions. ICAPS 2020: 134-142
[c312]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/0001GHS0K20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0001GHS0K20
Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. ICAPS 2020: 193-201
[c311]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/ZhaoCBGHSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ZhaoCBGHSS20
Shizhe Zhao, Mattia Chiari, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Peter J. Stuckey:
Bounded Suboptimal Path Planning with Compressed Path Databases. ICAPS 2020: 333-342
[c310]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/NijsS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/NijsS20
Frits de Nijs, Peter J. Stuckey:
Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision Making. AAMAS 2020: 303-311
[c309]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/AmadiniGSSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AmadiniGSSS20
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift 2020: 7:1-7:19
[c308]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AmadiniGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AmadiniGS20
Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Dashed Strings and the Replace(-all) Constraint. CP 2020: 3-20
[c307]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BjordalFPST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BjordalFPST20
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP 2020: 55-71
[c306]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/EkBSST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/EkBSST20
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Aggregation and Garbage Collection for Online Optimization. CP 2020: 231-247
[c305]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GangeS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GangeS20
Graeme Gange, Peter J. Stuckey:
The Argmax Constraint. CP 2020: 323-337
[c304]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LamNSAL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LamNSAL20
Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman:
Large Neighborhood Search for Temperature Control with Demand Response. CP 2020: 603-619
[c303]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LamSKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LamSKK20
Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Exact Approaches to the Multi-agent Collective Construction Problem. CP 2020: 743-758
[c302]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SayDNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SayDNS20
Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. CP 2020: 917-934
[c301]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/YuISB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/YuISB20
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CP 2020: 952-970
[c300]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GangeBDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GangeBDS20
Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Guided and Core-Boosted Search for CP. CPAIOR 2020: 205-221
[c299]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GokGSTO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GokGSTO20
Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk:
Robust Resource Planning for Aircraft Ground Operations. CPAIOR 2020: 222-238
[c298]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/AmadiniGSSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AmadiniGSSS20
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876
[c297]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/BlomCST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/BlomCST20
Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague:
Shifting the Balance-of-Power in STV Elections. E-VOTE-ID 2020: 1-18
[c296]
- view
  authority control:
- export record
  dblp key:
  - conf/evoteid/BlomCSTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoteid/BlomCSTV20
Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Random Errors Are Not Necessarily Politically Neutral. E-VOTE-ID 2020: 19-35
[c295]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BoyarskiFHS00K20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BoyarskiFHS00K20
Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig:
Iterative-Deepening Conflict-Based Search. IJCAI 2020: 4084-4090
[c294]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ShenCHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ShenCHS20
Bojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey:
Euclidean Pathfinding with Compressed Path Databases. IJCAI 2020: 4229-4235
[c293]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/RamtekeSCR0LD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/RamtekeSCR0LD20
Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic:
Improving Single and Multi-View Blockmodelling by Algebraic Simplification. IJCNN 2020: 1-7
[c292]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AmadiniGSSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AmadiniGSSS20
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR 2020: 192-209
[c291]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/BoyarskiHSBF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/BoyarskiHSBF20
Eli Boyarski, Daniel Harabor, Peter J. Stuckey, Pierre Le Bodic, Ariel Felner:
F-Cardinal Conflicts in Conflict-Based Search. SOCS 2020: 123-124
[c290]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/0001GHS0K20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/0001GHS0K20
Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. SOCS 2020: 129-130
[c289]
- view
  authority control:
- export record
  dblp key:
  - conf/ucc/ChakrabortyTKSM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ucc/ChakrabortyTKSM20
Tuhin Chakraborty, Adel Nadjaran Toosi, Carlo Kopp, Peter J. Stuckey, Julien Mahet:
Joint Host-Network Power Scaling with Minimizing VM Migration in SDN-enabled Cloud Data Centers. UCC 2020: 1-12
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/DevriendtGDNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DevriendtGDNS20
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey:
Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning". Zenodo, 2020
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-00235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-00235
Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague:
You can do RLAs for IRV. CoRR abs/2004.00235 (2020)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-02073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-02073
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey:
Encoding Linear Constraints into SAT. CoRR abs/2005.02073 (2020)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-00854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-00854
Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Random errors are not politically neutral. CoRR abs/2007.00854 (2020)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-12652
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-12652
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey:
MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR abs/2007.12652 (2020)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-15140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-15140
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. CoRR abs/2007.15140 (2020)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-06921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06921
Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. CoRR abs/2009.06921 (2020)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-09919
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-09919
Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey:
Optimal Decision Lists using SAT. CoRR abs/2010.09919 (2020)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-02342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-02342
Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey:
Divide and Learn: A Divide and Conquer Approach for Predict+Optimize. CoRR abs/2012.02342 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j114]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/CodishMPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/CodishMPS19
Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey:
Constraints for symmetry breaking in graph representation. Constraints An Int. J. 24(1): 1-24 (2019)
[j113]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/UnaGSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/UnaGSS19
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. 24(1): 56-93 (2019)
[j112]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/BlomST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/BlomST19
Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Toward Computing the Margin of Victory in Single Transferable Vote Elections. INFORMS J. Comput. 31(4): 636-653 (2019)
[j111]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WangSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WangSS19
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey:
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. J. Autom. Reason. 63(3): 723-762 (2019)
[c288]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LiHS0K19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LiHS0K19
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. AAAI 2019: 6087-6095
[c287]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0001HSLK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001HSLK19
Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig:
Searching with Consistent Prioritization for Multi-Agent Path Finding. AAAI 2019: 7643-7650
[c286]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/ChiariZBGHSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ChiariZBGHSSS19
Mattia Chiari, Shizhe Zhao, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Matteo Salvetti, Peter J. Stuckey:
Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols. ICAPS 2019: 106-113
[c285]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/GangeHS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GangeHS19
Graeme Gange, Daniel Harabor, Peter J. Stuckey:
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS 2019: 155-162
[c284]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/LiHS0K19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/LiHS0K19
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search. ICAPS 2019: 279-283
[c283]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/GangeNSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/GangeNSSS19
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114
[c282]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/AndrlonSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/AndrlonSSS19
Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH 2019: 159-166
[c281]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BjordalFPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BjordalFPS19
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey:
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP 2019: 37-53
[c280]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DemirovicS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DemirovicS19
Emir Demirovic, Peter J. Stuckey:
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. CP 2019: 177-194
[c279]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/StuckeyT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/StuckeyT19
Peter J. Stuckey, Guido Tack:
Compiling Conditional Constraints. CP 2019: 384-400
[c278]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BettsDGHKSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BettsDGHKSW19
John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow:
Peak-Hour Rail Demand Shifting with Discrete Optimisation. CP 2019: 748-763
[c277]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/AmadiniAGSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/AmadiniAGSSS19
Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR 2019: 1-19
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BergDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BergDS19
Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR 2019: 39-56
[c275]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BertholdSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BertholdSW19
Timo Berthold, Peter J. Stuckey, Jakob Witzig:
Local Rapid Learning for Integer Programs. CPAIOR 2019: 67-83
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/DemirovicS0CLRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/DemirovicS0CLRG19
Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns:
An Investigation into Prediction + Optimisation for the Knapsack Problem. CPAIOR 2019: 241-257
[c273]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/YangSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/YangSS19
Moli Yang, Andreas Schutt, Peter J. Stuckey:
Time Table Edge Finding with Energy Variables. CPAIOR 2019: 633-642
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BlomST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BlomST19
Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Election Manipulation 100. Financial Cryptography Workshops 2019: 211-225
[c271]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DemirovicS0CLRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DemirovicS0CLRG19
Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns:
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. IJCAI 2019: 1078-1085
[c270]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BonoGHS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BonoGHS19
Massimo Bono, Alfonso Emilio Gerevini, Daniel Damir Harabor, Peter J. Stuckey:
Path Planning with CPD Heuristics. IJCAI 2019: 1199-1205
[c269]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/HaraborUSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HaraborUSK19
Daniel Damir Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig:
Regarding Jump Point Search and Subgoal Graphs. IJCAI 2019: 1241-1248
[c268]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LamBHS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LamBHS19
Edward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey:
Branch-and-Cut-and-Price for Multi-Agent Pathfinding. IJCAI 2019: 1289-1296
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AlbertBGIS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AlbertBGIS19
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA 2019: 352-362
[c266]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/LiHS0K19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/LiHS0K19
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:
Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. SOCS 2019: 184-185
[c265]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/0001HSLK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/0001HSLK19
Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig:
Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding. SOCS 2019: 188-189
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BlomST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BlomST19
Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Election Manipulation with Partial Information. E-VOTE-ID 2019: 32-49
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2018
Fred Mesnard, Peter J. Stuckey:
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11408, Springer 2019, ISBN 978-3-030-13837-0 [contents]
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-08804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-08804
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague:
Risk-Limiting Audits for IRV Elections. CoRR abs/1903.08804 (2019)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-10092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-10092
Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns:
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. CoRR abs/1911.10092 (2019)
2018
[j110]
- view
  authority control:
- export record
  dblp key:
  - journals/eor/KreterSSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eor/KreterSSZ18
Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann:
Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. Eur. J. Oper. Res. 266(2): 472-486 (2018)
[j109]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AmadiniGGJSSSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AmadiniGGJSSSZ18
Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang:
Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158(4): 297-326 (2018)
[j108]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/KafleGGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/KafleGGS18
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18(3-4): 553-570 (2018)
[c263]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GanjiBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GanjiBS18
Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
Lagrangian Constrained Community Detection. AAAI 2018: 2983-2990
[c262]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AmadiniGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AmadiniGS18
Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Sweep-Based Propagation for String Constraint Solving. AAAI 2018: 6557-6564
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/apvis/ZarateBDGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apvis/ZarateBDGS18
David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter J. Stuckey:
Optimal Sankey Diagrams Via Integer Programming. PacificVis 2018: 135-139
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AmadiniGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AmadiniGS18
Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating Regular Membership with Dashed Strings. CP 2018: 13-29
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DekkerBSST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DekkerBSST18
Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Solver-Independent Large Neighbourhood Search. CP 2018: 81-98
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DemirovicCS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DemirovicCS18
Emir Demirovic, Geoffrey Chu, Peter J. Stuckey:
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP 2018: 99-108
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GangeS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GangeS18
Graeme Gange, Peter J. Stuckey:
Sequential Precede Chain for Value Symmetry Elimination. CP 2018: 144-159
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/AmadiniGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/AmadiniGS18
Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Propagating lex, find and replace with Dashed Strings. CPAIOR 2018: 18-34
[c255]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/DemirovicS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/DemirovicS18
Emir Demirovic, Peter J. Stuckey:
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. CPAIOR 2018: 135-152
[c254]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/MusliuSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/MusliuSS18
Nysret Musliu, Andreas Schutt, Peter J. Stuckey:
Solver Independent Rotating Workforce Scheduling. CPAIOR 2018: 429-445
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/CodishEGIS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/CodishEGIS18
Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries with Lex Implications. FLOPS 2018: 182-197
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/BjordalFPST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/BjordalFPST18
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI 2018: 98-105
[c251]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/UnaRGSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/UnaRGSS18
Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. IJCAI 2018: 1277-1283
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/GanjiCSBLRP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/GanjiCSBLRP18
Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Laurence A. F. Park:
Semi-supervised Blockmodelling with Pairwise Guidance. ECML/PKDD (2) 2018: 158-174
[c249]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rsff/ArtiguesHPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsff/ArtiguesHPSS18
Christian Artigues, Emmanuel Hébrard, Yannick Pencolé, Andreas Schutt, Peter J. Stuckey:
Data instance generator and optimization models for evacuation planning in the event of wildfire. RSFF 2018: 75-86
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/sdm/GanjiCSBLRD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdm/GanjiCSBLRD18
Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Ian Davidson:
Image Constrained Blockmodelling: A Constraint Programming Approach. SDM 2018: 19-27
[c247]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/socs/HaraborS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/HaraborS18
Daniel Damir Harabor, Peter J. Stuckey:
Forward Search in Contraction Hierarchies. SOCS 2018: 55-62
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BlomST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BlomST18
Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Computing the Margin of Victory in Preferential Parliamentary Elections. E-Vote-ID 2018: 1-16
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BlomST18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BlomST18a
Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Ballot-Polling Risk Limiting Audits for IRV Elections. E-Vote-ID 2018: 17-34
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-05989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-05989
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An iterative approach to precondition inference using constrained Horn clauses. CoRR abs/1804.05989 (2018)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1808-03326
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-03326
Fred Mesnard, Peter J. Stuckey:
Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). CoRR abs/1808.03326 (2018)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06771
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Precondition Inference via Partitioning of Initial States. CoRR abs/1811.06771 (2018)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-06356
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-06356
Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig:
Searching with Consistent Prioritization for Multi-Agent Path Finding. CoRR abs/1812.06356 (2018)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-09207
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-09207
Tias Guns, Peter J. Stuckey, Guido Tack:
Solution Dominance over Constraint Satisfaction Problems. CoRR abs/1812.09207 (2018)
2017
[j107]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/CollierALSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/CollierALSB17
James H. Collier, Lloyd Allison, Arthur M. Lesk, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu:
Statistical inference of protein structural alignments using information and compression. Bioinform. 33(7): 1005-1013 (2017)
[j106]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/KreterSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/KreterSS17
Stefan Kreter, Andreas Schutt, Peter J. Stuckey:
Using constraint programming for solving RCPSP/max-cal. Constraints An Int. J. 22(3): 432-462 (2017)
[c244]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DaviesGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DaviesGS17
Toby O. Davies, Graeme Gange, Peter J. Stuckey:
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI 2017: 787-793
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GangeGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GangeGS17
Graeme Gange, Pierre Ganty, Peter J. Stuckey:
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. ATVA 2017: 67-83
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlbertABGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlbertABGS17
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey:
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) 2017: 526-543
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AmadiniGST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AmadiniGST17
Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack:
A Novel Approach to String Constraint Solving. CP 2017: 3-20
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GanjiBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GanjiBS17
Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
A Declarative Approach to Constrained Community Detection. CP 2017: 477-494
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BeldiceanuCDPSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BeldiceanuCDPSS17
Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey:
Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR 2017: 21-29
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/UnaGSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/UnaGSS17
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Minimizing Landscape Resistance for Habitat Conservation. CPAIOR 2017: 113-130
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/dcc/SubramanianASBA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcc/SubramanianASBA17
Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu:
Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. DCC 2017: 340-349
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KafleGSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KafleGSSS17
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT 2017: 380-397
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AmadiniJGGSSSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AmadiniJGGSSSZ17
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang:
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) 2017: 41-57
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BlomST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlomST17
Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague:
Towards Computing Victory Margins in STV Elections. CoRR abs/1703.03511 (2017)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-00121
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-00121
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague:
Computing the Margin of Victory in Preferential Parliamentary Elections. CoRR abs/1708.00121 (2017)
2016
[j105]
- view
  authority control:
- export record
  dblp key:
  - journals/mansci/BlomPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mansci/BlomPS16
Michelle L. Blom, Adrian R. Pearce, Peter J. Stuckey:
A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods. Manag. Sci. 62(10): 3059-3084 (2016)
[j104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GangeNSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GangeNSSS16
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. 625: 1-24 (2016)
[c234]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/UnaGSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/UnaGSS16
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Steiner Tree Problems with Side Constraints Using Constraint Programming. AAAI 2016: 3383-3389
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/acsc/BaxterCS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/BaxterCS16
Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey:
Symmetry declarations for MiniZinc. ACSW 2016: 20
[c232]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/Stuckey16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Stuckey16
Peter J. Stuckey:
Discrete Optimization for Agents. AAMAS 2016: 3
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BelovSTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BelovSTW16
Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace:
Improved Linearization of Constraint Programming Models. CP 2016: 49-65
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CodishGIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CodishGIS16
Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries in Graphs: The Nauty Way. CP 2016: 157-172
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/UnaGSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/UnaGSS16
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. CP 2016: 189-206
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FeydyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FeydyS16
Thibaut Feydy, Peter J. Stuckey:
Interval Constraints with Learning: Application to Air Traffic Control. CP 2016: 224-232
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchuttS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchuttS16
Andreas Schutt, Peter J. Stuckey:
Explaining Producer/Consumer Constraints. CP 2016: 438-454
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/AbioGMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/AbioGMS16
Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey:
On CNF Encodings of Decision Diagrams. CPAIOR 2016: 1-17
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/ChuGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/ChuGS16
Geoffrey Chu, Graeme Gange, Peter J. Stuckey:
Lagrangian Decomposition via Sub-problem Search. CPAIOR 2016: 65-80
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/UnaGSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/UnaGSS16
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Weighted Spanning Tree Constraint with Explanations. CPAIOR 2016: 98-107
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/EhlersS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/EhlersS16
Thorsten Ehlers, Peter J. Stuckey:
Parallelizing Constraint Programming with Learning. CPAIOR 2016: 142-158
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/HaraborS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/HaraborS16
Daniel Harabor, Peter J. Stuckey:
Rail Capacity Modelling with Constraint Programming. CPAIOR 2016: 170-186
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/WangSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/WangSS16
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey:
A Bit-Vector Solver with Word-Level Propagation. CPAIOR 2016: 374-391
[c220]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/BlomTST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BlomTST16
Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar:
Efficient Computation of Exact IRV Margins. ECAI 2016: 480-488
[c219]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/GangeS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GangeS16
Graeme Gange, Peter J. Stuckey:
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. ICLP (Technical Communications) 2016: 13:1-13:14
[c218]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/DaviesPSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DaviesPSL16
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. IJCAI 2016: 4140-4144
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AmadiniFPSST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AmadiniFPSST16
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. LOPSTR 2016: 59-75
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GangeNSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GangeNSSS16
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/sdm/GanjiBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdm/GanjiBS16
Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
Lagrangian Constrained Clustering. SDM 2016: 288-296
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GangeNSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GangeNSSS16
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An Abstract Domain of Uninterpreted Functions. VMCAI 2016: 85-103
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AmadiniFPSST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AmadiniFPSST16
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. CoRR abs/1608.03650 (2016)
2015
[j103]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/ChuS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/ChuS15
Geoffrey Chu, Peter J. Stuckey:
Dominance breaking constraints. Constraints An Int. J. 20(2): 155-182 (2015)
[j102]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/BilaucaGHMMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/BilaucaGHMMS15
Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J. Stuckey:
Automatic Minimal-Height Table Layout. INFORMS J. Comput. 27(3): 449-461 (2015)
[j101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CatDBS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CatDBS15
Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey:
Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. 52: 235-286 (2015)
[j100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CaballeroST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CaballeroST15
Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes:
Two type extensions for the constraint modeling language MiniZinc. Sci. Comput. Program. 111: 156-189 (2015)
[j99]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/GangeNSSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/GangeNSSS15
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. 15(4-5): 526-542 (2015)
[c213]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AzizCMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AzizCMS15
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI 2015: 3468-3474
[c212]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/DaviesPSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/DaviesPSL15
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. ICAPS 2015: 61-69
[c211]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/DaviesPSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DaviesPSS15
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. AAMAS 2015: 1141-1149
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AbioMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AbioMS15
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey:
Encoding Linear Constraints with Implication Chains to CNF. CP 2015: 3-11
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KreterSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KreterSS15
Stefan Kreter, Andreas Schutt, Peter J. Stuckey:
Modeling and Solving Project Scheduling with Calendars. CP 2015: 262-278
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/RendlGST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/RendlGST15
Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack:
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP 2015: 376-392
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BurtLPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BurtLPS15
Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey:
Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study. CPAIOR 2015: 91-107
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/ChuS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/ChuS15
Geoffrey Chu, Peter J. Stuckey:
Learning Value Heuristics for Constraint Programming. CPAIOR 2015: 108-123
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GangeNSSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GangeNSSS15
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Tool for Intersecting Context-Free Grammars and Its Applications. NFM 2015: 422-428
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/GanjiSABS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/GanjiSABS15
Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey, Peter J. Stuckey:
Generalized Modularity for Community Detection. ECML/PKDD (2) 2015: 655-670
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AzizCMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AzizCMS15
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
#∃SAT: Projected Model Counting. SAT 2015: 121-137
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GangeNSSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GangeNSSS15
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR abs/1507.05762 (2015)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AzizCMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzizCMS15
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Projected Model Counting. CoRR abs/1507.07648 (2015)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BlomSTT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlomSTT15
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar:
Efficient Computation of Exact IRV Margins. CoRR abs/1508.04885 (2015)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DowningFS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DowningFS15
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Unsatisfiable Cores and Lower Bounding for Constraint Programming. CoRR abs/1508.06096 (2015)
2014
[j98]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/StuckeyFSTF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/StuckeyFSTF14
Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer:
The MiniZinc Challenge 2008-2013. AI Mag. 35(2): 55-60 (2014)
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/FrancisS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/FrancisS14
Kathryn Glenn Francis, Peter J. Stuckey:
Explaining circuit propagation. Constraints An Int. J. 19(1): 1-29 (2014)
[j96]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/BandaSHW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/BandaSHW14
Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace:
The future of optimization technology. Constraints An Int. J. 19(2): 126-138 (2014)
[j95]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/ChuBMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/ChuBMS14
Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey:
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19(4): 434-462 (2014)
[j94]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/BlomBPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/BlomBPS14
Michelle L. Blom, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey:
A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines. INFORMS J. Comput. 26(4): 658-676 (2014)
[j93]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/GangeSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/GangeSS14
Graeme Gange, Harald Søndergaard, Peter J. Stuckey:
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20(1): 6:1-6:14 (2014)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GangeNSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GangeNSSS14
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. 37(1): 1:1-1:35 (2014)
[c202]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/DaviesPSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/DaviesPSS14
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Fragment-Based Planning Using Column Generation. ICAPS 2014
[c201]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/LipovetzkyBPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/LipovetzkyBPS14
Nir Lipovetzky, Christina N. Burt, Adrian R. Pearce, Peter J. Stuckey:
Planning for Mining Operations with Time and Resource Constraints. ICAPS 2014
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AbioS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AbioS14
Ignasi Abío, Peter J. Stuckey:
Encoding Linear Constraints into SAT. CP 2014: 75-91
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AmadiniS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AmadiniS14
Roberto Amadini, Peter J. Stuckey:
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. CP 2014: 108-124
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuS14
Geoffrey Chu, Peter J. Stuckey:
Nested Constraint Programs. CP 2014: 240-255
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FrancisS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FrancisS14
Kathryn Francis, Peter J. Stuckey:
Loop Untangling. CP 2014: 340-355
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/RendlTS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/RendlTS14
Andrea Rendl, Guido Tack, Peter J. Stuckey:
Stochastic MiniZinc. CP 2014: 636-645
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/MearsSSTMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/MearsSSTMW14
Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace:
Modelling with Option Types in MiniZinc. CPAIOR 2014: 88-103
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BelovBSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BelovBSS14
Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey:
Local Search for a Cargo Assembly Planning Problem. CPAIOR 2014: 159-175
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/MarriottSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/MarriottSW14
Kim Marriott, Peter J. Stuckey, Michael Wybrow:
Seeing Around Corners: Fast Orthogonal Connector Routing. Diagrams 2014: 31-37
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CornishGNSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CornishGNSSS14
J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR 2014: 3-20
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GangeSL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GangeSL14
Graeme Gange, Peter James Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. CoRR abs/1401.3846 (2014)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MetodiCS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MetodiCS14
Amit Metodi, Michael Codish, Peter James Stuckey:
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. CoRR abs/1402.0568 (2014)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CatDSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CatDSB14
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe:
Lazy Model Expansion: Interleaving Grounding with Search. CoRR abs/1402.6889 (2014)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AzizCS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzizCS14
Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey:
Grounding Bound Founded Answer Set Programs. CoRR abs/1405.3362 (2014)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GangeNSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GangeNSSS14
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Partial-Order Approach to Array Content Analysis. CoRR abs/1408.1754 (2014)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GangeNSSS14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GangeNSSS14a
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR abs/1411.5131 (2014)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AzizCMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzizCMS14
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR abs/1411.5410 (2014)
2013
[j91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/GaireSHBSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/GaireSHBSH13
Raj K. Gaire, Lorey Smith, Patrick Humbert, James Bailey, Peter J. Stuckey, Izhak Haviv:
Discovery and analysis of consistent active sub-networks in cancers. BMC Bioinform. 14(S-2): S7 (2013)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/SchrijversTWSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/SchrijversTWSS13
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search combinators. Constraints An Int. J. 18(2): 269-305 (2013)
[j89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/AMCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/AMCS13
Amit Metodi, Michael Codish, Peter J. Stuckey:
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. 46: 303-341 (2013)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/scheduling/SchuttFSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scheduling/SchuttFSW13
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace:
Solving RCPSP/max by lazy clause generation. J. Sched. 16(3): 273-289 (2013)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AzizCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AzizCS13
Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey:
Stable model semantics for founded bounds. Theory Pract. Log. Program. 13(4-5): 517-532 (2013)
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/GangeNSSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/GangeNSSS13
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. 13(4-5): 593-607 (2013)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AlbertBGRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AlbertBGRS13
Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey:
A CLP heap solver for test case generation. Theory Pract. Log. Program. 13(4-5): 721-735 (2013)
[c191]
- view
- export record
  dblp key:
  - conf/aaai/SabharwalSSST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SabharwalSSST13
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GangeSSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GangeSSS13
Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte:
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Stuckey13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Stuckey13
Peter J. Stuckey:
Those Who Cannot Remember the Past Are Condemned to Repeat It. CP 2013: 5-6
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AbioNORS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AbioNORS13
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey:
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. CP 2013: 97-106
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuS13
Geoffrey Chu, Peter J. Stuckey:
Dominance Driven Search. CP 2013: 217-229
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FrancisNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FrancisNS13
Kathryn Francis, Jorge A. Navas, Peter J. Stuckey:
Modelling Destructive Assignments. CP 2013: 315-330
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GangeSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GangeSH13
Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck:
Explaining Propagators for Edge-Valued Decision Diagrams. CP 2013: 340-355
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchuttFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchuttFS13
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Scheduling Optional Tasks with Explanation. CP 2013: 628-644
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SchuttFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SchuttFS13
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR 2013: 234-250
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/StuckeyT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/StuckeyT13
Peter J. Stuckey, Guido Tack:
MiniZinc with Functions. CPAIOR 2013: 268-283
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GuSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GuSS13
Hanyu Gu, Andreas Schutt, Peter J. Stuckey:
A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. CPAIOR 2013: 340-346
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/icdm/KonagurthuAASL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdm/KonagurthuAASL13
Arun Siddharth Konagurthu, Lloyd Allison, David Abramson, Peter J. Stuckey, Arthur M. Lesk:
Statistical Inference of Protein "LEGO Bricks". ICDM 2013: 1091-1096
[c179]
- view
- export record
  dblp key:
  - conf/ijcai/CodishMPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CodishMPS13
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey:
Breaking Symmetries in Graph Representation. IJCAI 2013: 510-516
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CaballeroST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CaballeroST13
Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes:
Finite type extensions in constraint programming. PPDP 2013: 217-227
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GangeNSSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GangeNSSS13
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Stuckey13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Stuckey13
Peter J. Stuckey:
There Are No CNF Problems. SAT 2013: 19-21
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GangeNSSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GangeNSSS13
Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte:
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1305-1690
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-1690
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Unsatisfiable Cores for Constraint Programming. CoRR abs/1305.1690 (2013)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChuS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChuS13
Geoffrey Chu, Peter J. Stuckey:
Structure Based Extended Resolution for Constraint Programming. CoRR abs/1306.4418 (2013)
2012
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChuS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChuS12
Geoffrey Chu, Peter J. Stuckey:
A complete solution to the Maximum Density Still Life Problem. Artif. Intell. 184-185: 1-16 (2012)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/BarnesBCDKSSSTHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/BarnesBCDKSSSTHW12
Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh:
AI@NICTA. AI Mag. 33(3): 115- (2012)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/ChuBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/ChuBS12
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey:
Exploiting subproblem dominance in constraint programming. Constraints An Int. J. 17(1): 1-38 (2012)
[c174]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/acsc/DowningFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/DowningFS12
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Explaining alldifferent. ACSC 2012: 115-124
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/NavasSSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/NavasSSS12
Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS 2012: 115-130
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuS12
Geoffrey Chu, Peter J. Stuckey:
A Generic Method for Identifying and Exploiting Dominance Relations. CP 2012: 6-22
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AbioS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AbioS12
Ignasi Abío, Peter J. Stuckey:
Conflict Directed Lazy Decomposition. CP 2012: 70-85
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuS12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuS12a
Geoffrey Chu, Peter J. Stuckey:
Inter-instance Nogood Learning in Constraint Programming. CP 2012: 238-247
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FrancisBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FrancisBS12
Kathryn Francis, Sebastian Brand, Peter J. Stuckey:
Optimisation Modelling for Software Developers. CP 2012: 274-289
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GuSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GuSW12
Hanyu Gu, Peter J. Stuckey, Mark G. Wallace:
Maximising the Net Present Value of Large Resource-Constrained Projects. CP 2012: 767-781
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/DowningFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/DowningFS12
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Explaining Flow-Based Propagation. CPAIOR 2012: 146-162
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GangeS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GangeS12
Graeme Gange, Peter J. Stuckey:
Explaining Propagators for s-DNNF Circuits. CPAIOR 2012: 195-210
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SchuttCSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SchuttCSW12
Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace:
Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR 2012: 362-378
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/WybrowMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/WybrowMS12
Michael Wybrow, Kim Marriott, Peter J. Stuckey:
Orthogonal Hyperedge Routing. Diagrams 2012: 51-64
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/doceng/GangeMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doceng/GangeMS12
Graeme Gange, Kim Marriott, Peter J. Stuckey:
Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/GuzmanCHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/GuzmanCHS12
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey:
A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
[c161]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/CatDS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CatDS12
Broes De Cat, Marc Denecker, Peter J. Stuckey:
Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) 2012: 201-211
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SchrijversTWSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SchrijversTWSS12
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
An Introduction to Search Combinators. LOPSTR 2012: 2-16
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1203-1095
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-1095
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CoRR abs/1203.1095 (2012)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1208-3015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-3015
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CoRR abs/1208.3015 (2012)
2011
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/KonagurthuASL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/KonagurthuASL11
Arun Siddharth Konagurthu, Lloyd Allison, Peter J. Stuckey, Arthur M. Lesk:
Piecewise linear approximation of protein structures using the principle of minimum message length. Bioinform. 27(13): 43-51 (2011)
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/StivalaWWWS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/StivalaWWWS11
Alex D. Stivala, Michael Wybrow, Anthony Wirth, James C. Whisstock, Peter J. Stuckey:
Automatic generation of protein structure cartoons with Pro-origami. Bioinform. 27(23): 3315-3316 (2011)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/PuchingerSWB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/PuchingerSWB11
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand:
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Constraints An Int. J. 16(1): 77-99 (2011)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/BaatarBBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/BaatarBBS11
Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey:
CP and IP approaches to cancer radiotherapy delivery optimization. Constraints An Int. J. 16(2): 173-194 (2011)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/SchuttFSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/SchuttFSW11
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace:
Explaining the cumulative propagator. Constraints An Int. J. 16(3): 250-282 (2011)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/GangeSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/GangeSS11
Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek:
MDD propagators with explanation. Constraints An Int. J. 16(4): 407-429 (2011)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/BandaSC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/BandaSC11
Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu:
Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. 23(1): 120-137 (2011)
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchuttSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchuttSV11
Andreas Schutt, Peter J. Stuckey, Andrew R. Verden:
Optimal Carpet Cutting. CP 2011: 69-84
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FeydySS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FeydySS11
Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey:
Half Reification and Flattening. CP 2011: 286-301
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/MetodiCLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/MetodiCLS11
Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Boolean Equi-propagation for Optimized SAT Encoding. CP 2011: 621-636
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchrijversTWSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchrijversTWSS11
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CP 2011: 774-788
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/doceng/GangeMMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doceng/GangeMMS11
Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey:
Optimal automatic table layout. ACM Symposium on Document Engineering 2011: 23-32
[c154]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/KoninckBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/KoninckBS11
Leslie De Koninck, Sebastian Brand, Peter J. Stuckey:
Constraints in Non-Boolean Contexts. ICLP (Technical Communications) 2011: 117-127
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/ChuSBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChuSBM11
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears:
Symmetries and Lazy Clause Generation. IJCAI 2011: 516-521
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AbioDNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AbioDNS11
Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey:
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. SAT 2011: 273-286
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WuilleSSTS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WuilleSSTS11
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey:
Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-4617
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-4617
Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Boolean Equi-propagation for Optimized SAT Encoding. CoRR abs/1104.4617 (2011)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1109-2139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2139
Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs. CoRR abs/1109.2139 (2011)
2010
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/GaireBBCSH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/GaireBBCSH10
Raj K. Gaire, James Bailey, Jennifer Bearfoot, Ian G. Campbell, Peter J. Stuckey, Izhak Haviv:
MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer. Bioinform. 26(2): 161-167 (2010)
[j73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/StivalaSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/StivalaSW10
Alex D. Stivala, Peter J. Stuckey, Anthony Wirth:
Fast and accurate protein substructure searching with simulated annealing and GPUs. BMC Bioinform. 11: 446 (2010)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Stuckey10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Stuckey10
Peter J. Stuckey:
Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). Constraints An Int. J. 15(2): 149-150 (2010)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/StuckeyBF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/StuckeyBF10
Peter J. Stuckey, Ralph Becket, Julien Fischer:
Philosophy of the MiniZinc challenge. Constraints An Int. J. 15(3): 307-316 (2010)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/SchuttS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/SchuttS10
Andreas Schutt, Peter J. Stuckey:
Incremental Satisfiability and Implication for UTVPI Constraints. INFORMS J. Comput. 22(4): 514-527 (2010)
[j69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GangeSL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GangeSL10
Graeme Gange, Peter J. Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. 38: 307-338 (2010)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/StivalaSBHW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/StivalaSBHW10
Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth:
Lock-free parallel dynamic programming. J. Parallel Distributed Comput. 70(8): 839-848 (2010)
[c150]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/acsc/DowningSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/DowningSW10
Nicholas Downing, Peter J. Stuckey, Anthony Wirth:
Improved consensus clustering via linear programming. ACSC 2010: 61-70
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Stuckey10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Stuckey10
Peter J. Stuckey:
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. CPAIOR 2010: 5-9
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BertholdFS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BertholdFS10
Timo Berthold, Thibaut Feydy, Peter J. Stuckey:
Rapid Learning for Binary Programs. CPAIOR 2010: 51-55
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/ChuBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/ChuBS10
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey:
Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR 2010: 71-86
[c146]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/gd/GangeSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/GangeSM10
Graeme Gange, Peter J. Stuckey, Kim Marriott:
Optimal k-Level Planarization and Crossing Minimization. GD 2010: 238-249
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1009-0347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-0347
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace:
Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation. CoRR abs/1009.0347 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/StivalaWS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/StivalaWS09
Alex D. Stivala, Anthony Wirth, Peter J. Stuckey:
Tableau-based protein substructure search using quadratic programming. BMC Bioinform. 10 (2009)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/FeydyS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/FeydyS09
Thibaut Feydy, Peter J. Stuckey:
Propagating systems of dense linear integer constraints. Constraints An Int. J. 14(2): 235-253 (2009)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/OhrimenkoSC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/OhrimenkoSC09
Olga Ohrimenko, Peter J. Stuckey, Michael Codish:
Propagation via lazy clause generation. Constraints An Int. J. 14(3): 357-391 (2009)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SchrijversSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SchrijversSW09
Tom Schrijvers, Peter J. Stuckey, Philip Wadler:
Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009)
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/ChuHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/ChuHS09
Geoffrey Chu, Aaron Harwood, Peter J. Stuckey:
Cache Conscious Data Structures for Boolean Satisfiability Solvers. J. Satisf. Boolean Model. Comput. 6(1-3): 99-120 (2009)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SchulteS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SchulteS09
Christian Schulte, Peter J. Stuckey:
Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2) (2009)
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuSS09
Geoffrey Chu, Christian Schulte, Peter J. Stuckey:
Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuS09
Geoffrey Chu, Peter J. Stuckey:
Minimizing the Maximum Number of Open Stacks by Customer Search. CP 2009: 242-257
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChuSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChuSB09
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda:
Using Relaxations in Maximum Density Still Life. CP 2009: 258-273
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FeydyS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FeydyS09
Thibaut Feydy, Peter J. Stuckey:
Lazy Clause Generation Reengineered. CP 2009: 352-366
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FrischS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FrischS09
Alan M. Frisch, Peter J. Stuckey:
The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ReischukSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ReischukSST09
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack:
Maintaining State in Propagation Solvers. CP 2009: 692-706
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchuttFSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchuttFSW09
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace:
Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761
[c138]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/gd/WybrowMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/WybrowMS09
Michael Wybrow, Kim Marriott, Peter J. Stuckey:
Orthogonal Connector Routing. GD 2009: 219-231
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/KoninckDS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/KoninckDS09
Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey:
Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CodishGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CodishGS09
Michael Codish, Samir Genaim, Peter J. Stuckey:
A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266
[i15]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/PuchingerSWB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PuchingerSWB09
Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand:
Branch-and-Price Solving in G12. Models and Algorithms for Optimization in Logistics 2009
2008
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/KonagurthuSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/KonagurthuSL08
Arun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk:
Structural search and retrieval using a tableau representation of protein folding patterns. Bioinform. 24(5): 645-651 (2008)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/MarriottNRSBW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/MarriottNRSBW08
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace:
The Design of the Zinc Modelling Language. Constraints An Int. J. 13(3): 229-267 (2008)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/cor/BolandHMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cor/BolandHMS08
Natashia Boland, Barry D. Hughes, Liam T. G. Merlot, Peter J. Stuckey:
New integer linear programming approaches for course timetabling. Comput. Oper. Res. 35(7): 2209-2233 (2008)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SulzmannS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SulzmannS08
Martin Sulzmann, Peter J. Stuckey:
HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/CodishLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/CodishLS08
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination. J. Satisf. Boolean Model. Comput. 5(1-4): 193-215 (2008)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/tochi/WybrowMMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tochi/WybrowMMS08
Michael Wybrow, Kim Marriott, Linda McIver, Peter J. Stuckey:
Comparing usability of one-way and multi-way constraints for diagram editing. ACM Trans. Comput. Hum. Interact. 14(4): 19:1-19:38 (2008)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SchulteS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SchulteS08
Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): 2:1-2:43 (2008)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/CodishLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/CodishLS08
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Logic programming with satisfiability. Theory Pract. Log. Program. 8(1): 121-128 (2008)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/Stuckey08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/Stuckey08
Peter J. Stuckey:
Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. Theory Pract. Log. Program. 8(2): 242-246 (2008)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/tvcg/DwyerMSSWW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvcg/DwyerMSSWW08
Tim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow:
Exploration of Networks using overview+detail with Constraint-based cooperative layout. IEEE Trans. Vis. Comput. Graph. 14(6): 1293-1300 (2008)
[c135]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/cats/OhrimenkoS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cats/OhrimenkoS08
Olga Ohrimenko, Peter J. Stuckey:
Modelling for Lazy Clause Generation. CATS 2008: 27-37
[c134]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/cats/HustonPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cats/HustonPS08
Samuel J. Huston, Jakob Puchinger, Peter J. Stuckey:
The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/PuchingerSWB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/PuchingerSWB08
Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand:
From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/GangeMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/GangeMS08
Graeme Gange, Kim Marriott, Peter J. Stuckey:
Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GangeLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GangeLS08
Graeme Gange, Vitaly Lagoon, Peter J. Stuckey:
Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/KoninckSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/KoninckSD08
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck:
Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/SchulteS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SchulteS08
Christian Schulte, Peter J. Stuckey:
Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DuckKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DuckKS08
Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/CodishLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CodishLS08
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BrandDPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BrandDPS08
Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey:
Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/PuchingerS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/PuchingerS08
Jakob Puchinger, Peter J. Stuckey:
Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/FeydySS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/FeydySS08
Thibaut Feydy, Andreas Schutt, Peter J. Stuckey:
Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SchulteS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SchulteS08
Christian Schulte, Peter J. Stuckey:
Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/2008
Peter J. Stuckey:
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Lecture Notes in Computer Science 5202, Springer 2008, ISBN 978-3-540-85957-4 [contents]
2007
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/heuristics/FangKLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/heuristics/FangKLS07
Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
The island confinement method for reducing search space in local search methods. J. Heuristics 13(6): 557-585 (2007)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/BandaS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/BandaS07
Maria Garcia de la Banda, Peter J. Stuckey:
Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS J. Comput. 19(4): 607-617 (2007)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SulzmannDJS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SulzmannDJS07
Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey:
Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChoiLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChoiLS07
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): 23 (2007)
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BrandNQSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BrandNQSW07
Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh:
Encodings of the Sequence Constraint. CP 2007: 210-224
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/NethercoteSBBDT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/NethercoteSBBDT07
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/OhrimenkoSC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/OhrimenkoSC07
Olga Ohrimenko, Peter J. Stuckey, Michael Codish:
Propagation = Lazy Clause Generation. CP 2007: 544-558
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BaatarBBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BaatarBBS07
Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey:
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR 2007: 1-15
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/RossSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/RossSM07
Kenneth A. Ross, Peter J. Stuckey, Amélie Marian:
Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DuckSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DuckSS07
Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann:
Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FeydyS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FeydyS07
Thibaut Feydy, Peter J. Stuckey:
Propagating dense systems of integer linear equations. SAC 2007: 306-310
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FrancisS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FrancisS07
Kathryn Francis, Peter J. Stuckey:
Constraint propagation for loose constraint graphs. SAC 2007: 334-335
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0709-2961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0709-2961
Andreas Schutt, Peter J. Stuckey:
Incremental Satisfiability and Implication for UTVPI Constraints. CoRR abs/0709.2961 (2007)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0702072
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0702072
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Logic Programming with Satisfiability. CoRR abs/cs/0702072 (2007)
2006
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/jcb/KonagurthuS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcb/KonagurthuS06
Arun Siddharth Konagurthu, Peter J. Stuckey:
Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds. J. Comput. Biol. 13(3): 668-685 (2006)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/SchrijversDBS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/SchrijversDBS06
Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey:
Improving PARMA trailing. Theory Pract. Log. Program. 6(6): 609-644 (2006)
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/StuckeySW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/StuckeySW06
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Type Processing by Constraint Reasoning. APLAS 2006: 1-25
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/SulzmannSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/SulzmannSS06
Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey:
Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/ChoiHLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/ChoiHLS06
Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58
[c111]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CodishLSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CodishLSS06
Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey:
Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/SulzmannWS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/SulzmannWS06
Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey:
A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/gd/DwyerMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/DwyerMS06
Tim Dwyer, Kim Marriott, Peter J. Stuckey:
Fast Node Overlap Removal - Correction. GD 2006: 446-447
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DuckSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DuckSB06
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. ICLP 2006: 117-131
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/NiHS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/NiHS06
Lei Ni, Aaron Harwood, Peter J. Stuckey:
Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware. MGC@Middleware 2006: 3
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/HawkinsS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/HawkinsS06
Peter Hawkins, Peter J. Stuckey:
A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BecketBMSSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BecketBMSSW06
Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace:
Adding Constraint Solving to Mercury. PADL 2006: 118-133
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/MuhammadS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/MuhammadS06
Rafiq Muhammad, Peter J. Stuckey:
A Stochastic Non-CNF SAT Solver. PRICAI 2006: 120-129
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/CodishLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/CodishLS06
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/fai/MarriottSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/fai/MarriottSW06
Kim Marriott, Peter J. Stuckey, Mark Wallace:
Constraint Logic Programming. Handbook of Constraint Programming 2006: 409-452
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0607071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0607071
Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Islands for SAT. CoRR abs/cs/0607071 (2006)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0608016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0608016
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. CoRR abs/cs/0608016 (2006)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0611009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0611009
Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines. CoRR abs/cs/0611009 (2006)
2005
[j45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HawkinsLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HawkinsLS05
Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. 24: 109-156 (2005)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SchulteS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SchulteS05
Christian Schulte, Peter J. Stuckey:
When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/StuckeyS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/StuckeyS05
Peter J. Stuckey, Martin Sulzmann:
A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/HolzbaurBSD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/HolzbaurBSD05
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. 5(4-5): 503-531 (2005)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BandaHMSD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BandaHMSD05
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
Checking modes of HAL programs. Theory Pract. Log. Program. 5(6): 623-668 (2005)
[c102]
- view
  - electronic edition @ aclanthology.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/acl-alta/MarshallBS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl-alta/MarshallBS05
Robert Marshall, Steven Bird, Peter J. Stuckey:
Structuring Documents Efficiently. ALTA 2005: 120-126
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/StuckeyBMMSSWW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/StuckeyBMMSSWW05
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP 2005: 13-16
[c100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/gd/DwyerMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/DwyerMS05
Tim Dwyer, Kim Marriott, Peter J. Stuckey:
Fast Node Overlap Removal. GD 2005: 153-164
[c99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/gd/WybrowMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/WybrowMS05
Michael Wybrow, Kim Marriott, Peter J. Stuckey:
Incremental Connector Routing. GD 2005: 446-457
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/StuckeyBMMSSWW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/StuckeyBMMSSWW05
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP 2005: 9-13
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/CodishLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CodishLS05
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BaileyS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BaileyS05
James Bailey, Peter J. Stuckey:
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SchrijversSD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SchrijversSD05
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck:
Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SchrijversDDSF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SchrijversDDSF06
Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints. RULE@RDP 2005: 93-111
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0505085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0505085
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey:
Improving PARMA Trailing. CoRR abs/cs/0505085 (2005)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0507036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0507036
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Improved Inference for Checking Annotations. CoRR abs/cs/0507036 (2005)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0507037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0507037
Peter J. Stuckey, Martin Sulzmann:
Type Inference for Guarded Recursive Data Types. CoRR abs/cs/0507037 (2005)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0512067
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0512067
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination. CoRR abs/cs/0512067 (2005)
2004
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/jbcb/KonagurthuWS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcb/KonagurthuWS04
Arun Siddharth Konagurthu, James C. Whisstock, Peter J. Stuckey:
Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs. J. Bioinform. Comput. Biol. 2(4): 719-746 (2004)
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jgaa/MarriottS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jgaa/MarriottS04
Kim Marriott, Peter J. Stuckey:
NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(3): 295-312 (2004)
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/MarriottMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/MarriottMS04
Kim Marriott, Bernd Meyer, Peter J. Stuckey:
Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/HawkinsLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/HawkinsLS04
Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey:
Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LagoonS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LagoonS04
Vitaly Lagoon, Peter J. Stuckey:
Set Domain Propagation Using ROBDDs. CP 2004: 347-361
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchulteS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchulteS04
Christian Schulte, Peter J. Stuckey:
Speeding Up Constraint Propagation. CP 2004: 619-633
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/DuckPSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DuckPSS04
Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann:
Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/StuckeySW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/StuckeySW04
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Improving type error diagnosis. Haskell 2004: 80-91
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DuckSBH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DuckSBH04
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
The Refined Operational Semantics of Constraint Handling Rules. ICLP 2004: 90-104
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DuckBS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DuckBS04
Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey:
Compiling Ask Constraints. ICLP 2004: 105-119
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SagonasS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SagonasS04
Konstantinos Sagonas, Peter J. Stuckey:
Just enough tabling. PPDP 2004: 78-89
[p2]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PueblaCHBBMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PueblaCHBBMS04
Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DemoenBHMOS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DemoenBHMOS04
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey:
Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/2004
Yukiyoshi Kameyama, Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, ISBN 3-540-21402-X [contents]
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0412021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0412021
Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. CoRR abs/cs/0412021 (2004)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0412026
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0412026
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing Propagation Redundant Constraints in Redundant Modeling. CoRR abs/cs/0412026 (2004)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0408025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0408025
Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL. CoRR cs.PL/0408025 (2004)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0409038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0409038
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
Checking modes of HAL programs. CoRR cs.PL/0409038 (2004)
2003
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/MarriottSTH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/MarriottSTH03
Kim Marriott, Peter J. Stuckey, Vincent W. L. Tam, Weiqing He:
Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints An Int. J. 8(2): 143-171 (2003)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/HarveyS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/HarveyS03
Warwick Harvey, Peter J. Stuckey:
Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints An Int. J. 8(2): 173-207 (2003)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/BarkerS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/BarkerS03
Steve Barker, Peter J. Stuckey:
Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MarriottSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MarriottSS03
Kim Marriott, Peter J. Stuckey, Martin Sulzmann:
Resource Usage Verification. APLAS 2003: 212-229
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChengLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChengLS03
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChoiLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChoiLS03
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/StuckeySW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/StuckeySW03
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
Interactive type debugging in Haskell. Haskell 2003: 72-83
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/LagoonMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/LagoonMS03
Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey:
Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/StuckeyZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/StuckeyZ03
Peter J. Stuckey, Lei Zheng:
Improving Nogood Recording Using 2SAT. ICTAI 2003: 94-99
[c78]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/ChengLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChengLS03
Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
[c77]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/ChoiLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChoiLS03
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BandaSW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BandaSW03
Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny:
Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/DuckSBH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/DuckSBH03
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90
[c74]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0311023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0311023
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
The Chameleon Type Debugger (Tool Demonstration). AADEBUG 2003
2002
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/HarveySB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/HarveySB02
Warwick Harvey, Peter J. Stuckey, Alan Borning:
Fourier Elimination for Compiling Constraint Hierarchies. Constraints An Int. J. 7(2): 199-219 (2002)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/DaveyBS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/DaveyBS02
Bruce Davey, Natashia Boland, Peter J. Stuckey:
Efficient Intelligent Backtracking Using Linear Programming. INFORMS J. Comput. 14(4): 373-386 (2002)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/HansenMMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/HansenMMS02
Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey:
Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)
[c73]
- view
- export record
  dblp key:
  - conf/aaai/FangKLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FangKLS02
Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI 2002: 28-33
[c72]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/acsc/ZhengS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/ZhengS02
Lei Zheng, Peter J. Stuckey:
Improving SAT Using 2SAT. ACSC 2002: 331-340
[c71]
- view
  - electronic edition @ westernsydney.edu.au
  - details & citations
- export record
  dblp key:
  - conf/adc/SitzmannS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/SitzmannS02
Inga Sitzmann, Peter J. Stuckey:
Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/StuckeyZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/StuckeyZ02
Peter J. Stuckey, Lei Zheng:
Improving GSAT Using 2SAT. CP 2002: 691-695
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/BandaDMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/BandaDMS02
Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial. FLOPS 2002: 47-66
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/GlynnSSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/GlynnSSS02
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
Exception analysis for non-strict languages. ICFP 2002: 98-109
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/StuckeyS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/StuckeyS02
Peter J. Stuckey, Martin Sulzmann:
A theory of overloading. ICFP 2002: 167-178
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/patat/MerlotBHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patat/MerlotBHS02
Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey:
A Hybrid Algorithm for the Examination Timetabling Problem. PATAT 2002: 207-231
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/LagoonS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/LagoonS02
Vitaly Lagoon, Peter J. Stuckey:
Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/OvertonSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/OvertonSS02
David Overton, Zoltan Somogyi, Peter J. Stuckey:
Constraint-based mode analysis of mercury. PPDP 2002: 109-120
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SomogyiS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SomogyiS02
Zoltan Somogyi, Peter J. Stuckey:
Using the heap to eliminate stack accesses. PPDP 2002: 121-132
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/2002
Peter J. Stuckey:
Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401, Springer 2002, ISBN 3-540-43930-7 [contents]
2001
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tochi/BadrosBS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tochi/BadrosBS01
Greg J. Badros, Alan Borning, Peter J. Stuckey:
The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput. Hum. Interact. 8(4): 267-306 (2001)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/MarriottMSB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/MarriottMSB01
Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning:
Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/LagoonS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/LagoonS01
Vitaly Lagoon, Peter J. Stuckey:
A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/HolzbaurBJS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/HolzbaurBJS01
Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/BandaJMNSH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BandaJMNSH01
Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur:
Building Constraint Solvers with HAL. ICLP 2001: 90-104
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/CodishGSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CodishGSS01
Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey:
Higher-Precision Groundness Analysis. ICLP 2001: 135-149
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/pado/GlynnSSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/GlynnSSS01
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SchulteS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SchulteS01
Christian Schulte, Peter J. Stuckey:
When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GlynnSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GlynnSS01
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann:
Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ssdbm/RossSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssdbm/RossSS01
Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey:
Cost-based Unbalanced R-Trees. SSDBM 2001: 203-212
2000
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChoiLS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChoiLS00
Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HermenegildoPMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HermenegildoPMS00
Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/adc/SitzmannS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/SitzmannS00
Inga Sitzmann, Peter J. Stuckey:
O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000: 127-134
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cl/BandaSHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cl/BandaSHM00
Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott:
Model Checking in HAL. Computational Logic 2000: 1270-1284
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/SitzmannS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/SitzmannS00
Inga Sitzmann, Peter J. Stuckey:
Improving Temporal Joins Using Histograms. DEXA 2000: 488-498
[c50]
- view
  - electronic edition @ man.ac.uk
  - details & citations
- export record
  dblp key:
  - conf/lopstr/BuenoBHMPS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BuenoBHMPS00
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A model for inter-module analysis and optimizing compilation. LOPSTR 2000
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BuenoBHMPS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BuenoBHMPS00a
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/cl/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cl/2000
John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0006034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0006034
Kevin Glynn, Martin Sulzmann, Peter J. Stuckey:
Type Classes and Constraint Handling Rules. CoRR cs.PL/0006034 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/StuckeyT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/StuckeyT99
Peter J. Stuckey, Vincent W. L. Tam:
Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. Int. J. Artif. Intell. Tools 8(4): 363-384 (1999)
[j28]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - journals/sigart/MarriottS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigart/MarriottS99
Kim Marriott, Peter J. Stuckey:
Book reviews. Intell. 10(2): 39-47 (1999)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CodishSS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CodishSS99
Michael Codish, Harald Søndergaard, Peter J. Stuckey:
Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DemoenBHMS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DemoenBHMS99
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
An Overview of HAL. CP 1999: 174-188
[c47]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/DemoenBHMS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DemoenBHMS99
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
Herbrand Constraint Solving in HAL. ICLP 1999: 260-274
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/BadrosBMS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/BadrosBMS99
Greg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey:
Constraint Cascading Style Sheets for the Web. ACM Symposium on User Interface Software and Technology 1999: 73-82
1998
[j26]
- view
  - electronic edition @ uni-muenster.de
  - details & citations
- export record
  dblp key:
  - journals/jflp/StuckeyT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/StuckeyT98
Peter J. Stuckey, Vincent W. L. Tam:
Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. J. Funct. Log. Program. 1998(2) (1998)
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BandaMSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BandaMSS98
Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard:
Differential Methods in Logic Program Analysis. J. Log. Program. 35(1): 1-37 (1998)
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/JaffarMMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JaffarMMS98
Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey:
The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3): 1-46 (1998)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/MarriottSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MarriottSS98
Kim Marriott, Harald Søndergaard, Peter J. Stuckey:
A Practical Object-Oriented Analysis Engine for CLP. Softw. Pract. Exp. 28(2): 199-224 (1998)
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RossSSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RossSSS98
Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
Foundations of Aggregation Constraints. Theor. Comput. Sci. 193(1-2): 149-179 (1998)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KellyMMSY98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KellyMMSY98
Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
Optimizing Compilation of CLP(R). ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/StuckeyT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/StuckeyT98
Peter J. Stuckey, Vincent W. L. Tam:
Extending GENET with lazy arc consistency. IEEE Trans. Syst. Man Cybern. Part A 28(5): 698-703 (1998)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HarveyS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HarveyS98
Warwick Harvey, Peter J. Stuckey:
Constraint Representation for Propagation. CP 1998: 235-249
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/ChoiLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/ChoiLS98
Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of a class of local search methods. ICTAI 1998: 166-175
1997
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/RamakrishnanS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/RamakrishnanS97
Raghu Ramakrishnan, Peter J. Stuckey:
Introduction to the Special Issue on Constraints and Databases. Constraints An Int. J. 2(3/4): 243 (1997)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/StuckeyS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/StuckeyS97
Peter J. Stuckey, S. Sudarshan:
Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. J. Log. Program. 32(3): 171-205 (1997)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HeintzeMSY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HeintzeMSY97
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jsi/KempRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsi/KempRS97
David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey:
An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. J. Syst. Integr. 7(3/4): 191-230 (1997)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HarveySB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HarveySB97
Warwick Harvey, Peter J. Stuckey, Alan Borning:
Compiling Constraint Solving using Projection. CP 1997: 491-505
[c42]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/PueblaBMS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PueblaBMS97
Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107
[c41]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/Stuckey97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Stuckey97
Peter J. Stuckey:
Constraint Search Tree. ICLP 1997: 301-315
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/StuckeyT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/StuckeyT97
Peter J. Stuckey, Vincent W. L. Tam:
Extending EGENET with Lazy Constraint Consistency. ICTAI 1997: 248-
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/BorningMSX97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/BorningMSX97
Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao:
Solving Linear Arithmetic Constraints for User Interface Applications. ACM Symposium on User Interface Software and Technology 1997: 87-96
1996
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KempS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KempS96
David B. Kemp, Peter J. Stuckey:
Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/acse/JohnstonMSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acse/JohnstonMSS96
Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey:
Low-contact learning in a first year programming course. ACSE 1996: 19-26
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/LeeLSTW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/LeeLSTW96
Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won:
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52
[c36]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/iclp/KellyMMSY96
- ask others
- share record
  persistent URL: