팔로우
Peter Stuckey
제목
인용
인용
연도
Programming with constraints: an introduction
K Marriott, PJ Stuckey, PJ Stuckey
MIT press, 1998
11781998
MiniZinc: Towards a standard CP modelling language
N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007
9802007
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
7891992
MUSTANG: a multiple structural alignment algorithm
AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk
Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006
7642006
Programming with constraints
K Marriott, PJ Stuckey
MIT press, 1998
3261998
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
2852003
Propagation via lazy clause generation
O Ohrimenko, PJ Stuckey, M Codish
Constraints 14, 357-391, 2009
2842009
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
2671998
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
2472001
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
J Bailey, PJ Stuckey
Practical Aspects of Declarative Languages: 7th International Symposium …, 2005
2412005
The refined operational semantics of Constraint Handling Rules
GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo …, 2004
2292004
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
1872011
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
1832008
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
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008
1672008
Fast node overlap removal
T Dwyer, K Marriott, PJ Stuckey
Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006
1662006
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
1611997
Semantics of Logic Programs with Aggregates.
DB Kemp, PJ Stuckey
ISLP 91, 387-401, 1991
1561991
Constructive negation for constraint logic programming
PJ Stuckey
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
1531991
Optimization of queries using relational algebraic theta-semijoin operator
D Srivastava, PJ Stuckey, S Sudarshan
US Patent 6,032,144, 2000
1512000
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20