Programming with constraints: an introduction K Marriott, PJ Stuckey MIT press, 1998 | 1222 | 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 | 1117 | 2007 |
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 | 822 | 1992 |
MUSTANG: a multiple structural alignment algorithm AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006 | 810 | 2006 |
Programming with constraints K Marriott, P Stuckey (No Title), 1998 | 324 | 1998 |
Propagation via lazy clause generation O Ohrimenko, PJ Stuckey, M Codish Constraints 14, 357-391, 2009 | 304 | 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 | 297 | 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 | 258 | 2001 |
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization J Bailey, PJ Stuckey Practical Aspects of Declarative Languages: 7th International Symposium …, 2005 | 252 | 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 | 232 | 2004 |
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 | 208 | 2019 |
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 | 197 | 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 | 188 | 2008 |
Fast node overlap removal T Dwyer, K Marriott, PJ Stuckey Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006 | 179 | 2006 |
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 |
Efficient constraint propagation engines C Schulte, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008 | 171 | 2008 |
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 | 168 | 1997 |
Semantics of Logic Programs with Aggregates. DB Kemp, PJ Stuckey ISLP 91, 387-401, 1991 | 159 | 1991 |
Optimization of queries using relational algebraic theta-semijoin operator D Srivastava, PJ Stuckey, S Sudarshan US Patent 6,032,144, 2000 | 157 | 2000 |