Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Geverifieerd e-mailadres voor monash.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
11261998
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
7732007
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
7591992
MUSTANG: a multiple structural alignment algorithm
AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk
Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006
6972006
Programming with constraints
K Marriott, PJ Stuckey
MIT press, 1998
3191998
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
2722002
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
2571998
Propagation via lazy clause generation
O Ohrimenko, PJ Stuckey, M Codish
Constraints 14 (3), 357-391, 2009
2482009
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
2252001
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
2172004
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
2122005
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
1742008
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
1581997
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008
1502008
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
International Symposium on Graph Drawing, 153-164, 2005
1452005
Semantics of Logic Programs with Aggregates.
DB Kemp, PJ Stuckey
ISLP 91, 387-401, 1991
1441991
Constructive negation for constraint logic programming
PJ Stuckey
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
1441991
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
1422011
Optimization of queries using relational algebraic theta-semijoin operator
D Srivastava, PJ Stuckey, S Sudarshan
US Patent 6,032,144, 2000
1402000
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20