Peter Stuckey

Cited by

	All	Since 2020
Citations	21852	6809
h-index	70	37
i10-index	362	172

1700

850

425

1275

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202555 116 156 202 200 226 194 243 266 257 258 341 368 495 625 601 655 673 727 738 677 738 825 758 859 909 795 845 876 1044 1140 1362 1502 1614 142

Public access

View all

166 articles

14 articles

available

not available

Based on funding mandates

Co-authors

Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Maria Garcia de la BandaFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Graeme GangeMonash UniversityVerified email at monash.edu
Daniel HaraborMonash UniversityVerified email at monash.edu
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Andreas SchuttData61, CSIROVerified email at data61.csiro.au
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Gregory J. DuckNational University of SingaporeVerified email at comp.nus.edu.sg
Peter SchachteSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Geoffrey ChuNICTA VRL, University of MelbourneVerified email at csse.unimelb.edu.au
Mark WallaceProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Sven KoenigChancellor's Professor and Bren Chair, UC IrvineVerified email at uci.edu
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Arun KonagurthuDepartment of Data Science and AI, Monash UniversityVerified email at monash.edu
James BaileyProfessor, School of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Vitaly LagoonCadence Design SystemsVerified email at cadence.com

Peter Stuckey

Faculty of Information Technology, Monash University

Verified email at monash.edu - Homepage

Constraint programming discrete optimization programming languages bioinformatics heuristic search


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming with constraints: an introduction K Marriott, PJ Stuckey MIT press, 1998	1232	1998
MiniZinc: Towards a standard CP modelling language N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack International Conference on Principles and Practice of Constraint …, 2007	1202	2007
MUSTANG: a multiple structural alignment algorithm AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006	839	2006
The CLP (ℛ) language and system J Jaffar, S Michaylov, PJ Stuckey, RHC Yap ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (3), 339-395, 1992	819	1992
Programming with constraints K Marriott, P Stuckey (No Title), 1998	327	1998
Propagation via lazy clause generation O Ohrimenko, PJ Stuckey, M Codish Constraints 14, 357-391, 2009	316	2009
A hybrid algorithm for the examination timetabling problem LTG Merlot, N Boland, BD Hughes, PJ Stuckey Practice and Theory of Automated Timetabling IV: 4th International …, 2003	298	2003
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey The Journal of Logic Programming 37 (1-3), 1-46, 1998	291	1998
The Cassowary linear arithmetic constraint solving algorithm GJ Badros, A Borning, PJ Stuckey ACM Transactions on Computer-Human Interaction (TOCHI) 8 (4), 267-306, 2001	259	2001
Searching with consistent prioritization for multi-agent path finding H Ma, D Harabor, PJ Stuckey, J Li, S Koenig Proceedings of the AAAI conference on artificial intelligence 33 (01), 7643-7650, 2019	255	2019
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization J Bailey, PJ Stuckey Practical Aspects of Declarative Languages: 7th International Symposium …, 2005	255	2005
The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur International Conference on Logic Programming, 90-104, 2004	227	2004
Automatic generation of protein structure cartoons with Pro-origami A Stivala, M Wybrow, A Wirth, JC Whisstock, PJ Stuckey Bioinformatics 27 (23), 3315-3316, 2011	201	2011
The design of the Zinc modelling language K Marriott, N Nethercote, R Rafeh, PJ Stuckey, M Garcia De La Banda, ... Constraints 13, 229-267, 2008	189	2008
Fast node overlap removal T Dwyer, K Marriott, PJ Stuckey Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006	184	2006
Smart predict-and-optimize for hard combinatorial optimization problems J Mandi, PJ Stuckey, T Guns Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1603-1610, 2020	177	2020
Efficient constraint propagation engines C Schulte, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008	174	2008
Flexible access control policy specification with constraint logic programming S Barker, PJ Stuckey ACM Transactions on Information and System Security (TISSEC) 6 (4), 501-546, 2003	173	2003
Integrated task assignment and path planning for capacitated multi-agent pickup and delivery Z Chen, J Alonso-Mora, X Bai, DD Harabor, PJ Stuckey IEEE Robotics and Automation Letters 6 (3), 5816-5823, 2021	169	2021
Solving linear arithmetic constraints for user interface applications A Borning, K Marriott, P Stuckey, Y Xiao Proceedings of the 10th annual ACM symposium on User interface software and …, 1997	166	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors