Folgen
Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Bestätigte E-Mail-Adresse bei monash.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Programming with constraints: an introduction
K Marriott, PJ Stuckey
MIT press, 1998
14681998
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
12192007
MUSTANG: a multiple structural alignment algorithm
AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk
Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006
8392006
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
8211992
Propagation via lazy clause generation
O Ohrimenko, PJ Stuckey, M Codish
Constraints 14, 357-391, 2009
3242009
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
2992003
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
2931998
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
2732019
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
J Bailey, PJ Stuckey
Practical Aspects of Declarative Languages: 7th International Symposium …, 2005
2612005
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
2602001
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
2342004
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
2032011
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
1922008
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
1892020
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006
1832006
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
1792021
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008
1762008
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
1722003
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
1651997
Branch-and-cut-and-price for multi-agent path finding
E Lam, P Le Bodic, D Harabor, PJ Stuckey
Computers & Operations Research 144, 105809, 2022
1632022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20