Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Verified email at monash.edu - Homepage
TitleCited byYear
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
10951998
The CLP (R) language and system
J Jaffar, S Michaylov, PJ Stuckey, RHC Yap
ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (3), 339-395, 1992
7501992
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
6552007
MUSTANG: a multiple structural alignment algorithm
AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk
Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006
6392006
Programming with constraints
K Marriott, PJ Stuckey
MIT press, 1998
3131998
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
2511998
A hybrid algorithm for the examination timetabling problem
LTG Merlot, N Boland, BD Hughes, PJ Stuckey
International Conference on the Practice and Theory of Automated Timetabling …, 2002
2482002
Propagation via lazy clause generation
O Ohrimenko, PJ Stuckey, M Codish
Constraints 14 (3), 357-391, 2009
2162009
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
2152004
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
2032001
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
J Bailey, PJ Stuckey
International Workshop on Practical Aspects of Declarative Languages, 174-186, 2005
1842005
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
1642003
The design of the Zinc modelling language
K Marriott, N Nethercote, R Rafeh, PJ Stuckey, MG De La Banda, ...
Constraints 13 (3), 229-267, 2008
1592008
Solving linear arithmetic constraints for user interface applications
A Borning, K Marriott, P Stuckey, Y Xiao
ACM symposium on user interface software and technology 237, 1997
1531997
Semantics of Logic Programs with Aggregates.
DB Kemp, PJ Stuckey
ISLP 91, 387-401, 1991
1441991
Constructive negation for constraint logic programming
PJ Stuckey
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
1401991
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 2, 2008
1392008
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
1382005
Optimization of queries using relational algebraic theta-semijoin operator
D Srivastava, PJ Stuckey, S Sudarshan
US Patent 6,032,144, 2000
1352000
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
1202011
The system can't perform the operation now. Try again later.
Articles 1–20