Edit Profile (opens in new tab) Stuckey, Peter James Compute Distance To: Compute Author ID: stuckey.peter-j Published as: Stuckey, Peter J.; Stuckey, Peter; Stuckey, P. J. Homepage: https://people.eng.unimelb.edu.au/pstuckey/ External Links: MGP · Google Scholar · ResearchGate · dblp Documents Indexed: 165 Publications since 1986, including 1 Book 10 Contributions as Editor Co-Authors: 157 Co-Authors with 168 Joint Publications 1,795 Co-Co-Authors all top 5 Co-Authors 7 single-authored 27 Gange, Graeme 26 Marriott, Kim 23 Garcia de la Banda, Maria 19 Søndergaard, Harald 17 Schachte, Peter 12 Sulzmann, Martin 11 Chu, Geoffrey 11 Codish, Michael 11 Schütt, Andreas 10 Duck, Gregory J. 10 Lagoon, Vitaly 7 Brand, Sebastian 7 Navas, Jorge A. 7 Wallace, Mark G. 6 Amadini, Roberto 6 Demoen, Bart 6 Schrijvers, Tom 5 Feydy, Thibaut 5 Harvey, Warwick 5 Jaffar, Joxan 5 Lee, Jimmy Ho-man 5 Tack, Guido 4 Boland, Natashia L. 4 Holzbaur, Christian 4 Maher, Michael J. 3 De Koninck, Leslie 3 de Uña, Diego 3 Glynn, Kevin 3 Harabor, Daniel Damir 3 Hermenegildo, Manuel V. 2 Abío, Ignasi 2 Aziz, Rehan Abdul 2 Baatar, Davaatseren 2 Berthold, Timo 2 Blom, Michelle L. 2 Borning, Alan H. 2 Bueno, Francisco 2 Burt, Christina N. 2 Choi, Chiu Wo 2 de Cat, Broes 2 Demirović, Emir 2 Denecker, Marc 2 Dwyer, Tim 2 Ehlers, Thorsten 2 Heintze, Nevin 2 Jeffery, David 2 Jones, Simon Peyton 2 Kafle, Bishoksan 2 Kemp, David B. 2 Kreter, Stefan 2 Mears, Christopher 2 Mesnard, Fred 2 Michaylov, Spiro 2 Moulder, Peter 2 Nethercote, Nicholas 2 Ohrimenko, Olga 2 Pearce, Adrian R. 2 Puchinger, Jakob 2 Puebla, Germán 2 Ramakrishnan, Raghu 2 Samulowitz, Horst 2 Schulte, Christian 2 Srivastava, Divesh 2 Sudarshan, S. R. 2 Tam, Vincent H. 2 Walsh, Toby 2 Wang, Wenxi 2 Wazny, Jeremy 2 Wuille, Pieter 2 Wybrow, Michael 2 Yap, Roland H. C. 1 Albert, Elvira 1 Andrlon, Mak 1 Becket, Ralph 1 Beldiceanu, Nicolas 1 Berg, Jeremias 1 Bilauca, Mihai 1 Bruynooghe, Maurice 1 Carlsson, Mats 1 Chan, Jeffrey 1 Cheema, Muhammad Aamir 1 Cheng, Chi Kan 1 Choi, K. M. F. 1 Cornish, J. Robert M. 1 Correas, Jesús 1 Dahl, Veronica 1 Davey, Bruce 1 Dekker, Jip J. 1 Derrien, Alban 1 Deters, Morgan 1 Fischer, Julien 1 Flener, Pierre 1 Francis, Kathryn Glenn 1 Frühwirth, Thom 1 Furbach, Ulrich 1 Gallagher, John P. 1 Gauthier, Francois 1 Genaim, Samir 1 Gómez-Zamalloa, Miguel 1 Gu, Hanyu ...and 57 more Co-Authors all top 5 Serials 21 Constraints 9 Theory and Practice of Logic Programming 7 The Journal of Logic Programming 7 INFORMS Journal on Computing 6 Lecture Notes in Computer Science 5 Artificial Intelligence 5 Theoretical Computer Science 5 The Journal of Artificial Intelligence Research (JAIR) 3 Journal of Functional Programming 2 Journal of Automated Reasoning 2 Journal of Satisfiability, Boolean Modeling and Computation 1 New Generation Computing 1 Information and Computation 1 Computers & Operations Research 1 Journal of Parallel and Distributed Computing 1 ORSA Journal on Computing 1 European Journal of Operational Research 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Journal of Scheduling 1 Journal of Graph Algorithms and Applications 1 The Journal of Functional and Logic Programming 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 SN Operations Research Forum all top 5 Fields 155 Computer science (68-XX) 56 Operations research, mathematical programming (90-XX) 10 General and overarching topics; collections (00-XX) 8 Combinatorics (05-XX) 3 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 131 Publications have been cited 579 times in 436 Documents Cited by ▼ Year ▼ Programming with constraints. An introduction. Zbl 0935.68098Marriott, Kim; Stuckey, Peter J. 44 1998 Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 36 2009 The semantics of constraint logic programs. Zbl 0920.68068Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter 25 1998 The design of the zinc modelling language. Zbl 1146.68352Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark 22 2008 The refined operational semantics of constraint handling rules. Zbl 1104.68359Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian 19 2004 Negation and constraint logic programming. Zbl 0827.68022Stuckey, Peter J. 15 1995 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 13 2011 Solving RCPSP/max by lazy clause generation. Zbl 1280.90067Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 11 2013 Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches. Zbl 1214.15021Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J. 11 2007 Understanding functional dependencies via constraint handling rules. Zbl 1107.68031Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J. 10 2007 Encodings of the Sequence constraint. Zbl 1145.68507Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby 9 2007 Propagation = lazy clause generation. Zbl 1145.68527Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 9 2007 Semantics of infinite tree logic programming. Zbl 0621.68054Jaffar, Joxan; Stuckey, Peter J. 9 1986 Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141Schutt, Andreas; Stuckey, Peter J. 8 2010 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 8 2008 New integer linear programming approaches for course timetabling. Zbl 1180.90197Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J. 8 2008 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 7 2005 Testing for termination with monotonicity constraints. Zbl 1165.68328Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 7 2005 Speeding up constraint propagation. Zbl 1152.68583Schulte, Christian; Stuckey, Peter J. 7 2004 Solving partial order constraints for LPO termination. Zbl 1151.68631Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 7 2006 Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J. 7 2013 Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170De La Banda, Maria Garcia; Stuckey, Peter J. 7 2007 Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216Metodi, Amit; Codish, Michael; Stuckey, Peter J. 7 2013 Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J. 6 1995 Rapid learning for binary programs. Zbl 1285.68151Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J. 6 2010 Philosophy of the MiniZinc challenge. Zbl 1208.68207Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 6 2010 Observable confluence for constraint handling rules. Zbl 1213.68161Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin 6 2007 Canonical logic programs. Zbl 0592.68018Jaffar, Joxan; Stuckey, Peter J. 6 1986 Efficient intelligent backtracking using linear programming. Zbl 1238.90144Davey, Bruce; Boland, Natashia; Stuckey, Peter J. 6 2002 Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262Choi, C. W.; Lee, J. H. M.; Stuckey, P. J. 6 2007 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 5 2017 Solving talent scheduling with dynamic programming. Zbl 1243.90059De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey 5 2011 Core-boosted linear search for incomplete MaxSAT. Zbl 07116684Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 5 2019 Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J. 5 2005 Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666Hawkins, P. J.; Lagoon, V.; Stuckey, P. J. 5 2005 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 5 2011 MDD propagators with explanation. Zbl 1241.90066Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 5 2011 Lazy model expansion: interleaving grounding with search. Zbl 1323.68464De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter 5 2015 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 5 2015 Incremental linear constraint solving and detection of implicit equalities. Zbl 0755.90058Stuckey, Peter J. 4 1991 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 4 2006 Set domain propagation using ROBDDs. Zbl 1152.68562Lagoon, Vitaly; Stuckey, Peter J. 4 2004 Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166Stuckey, Peter J. 4 2010 Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 4 2010 Monadic constraint programming. Zbl 1184.68166Schrijvers, Tom; Stuckey, Peter; Wadler, Philip 4 2009 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 ACD term rewriting. Zbl 1131.68374Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian 4 2006 From high-level model to branch-and-price solution in G12. Zbl 1142.90503Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian 4 2008 A framework for extended algebraic data types. Zbl 1185.68202Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J. 4 2006 Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119Harvey, Warwick; Stuckey, Peter J. 4 2003 MiniZinc with functions. Zbl 1382.68234Stuckey, Peter J.; Tack, Guido 4 2013 Lock-free parallel dynamic programming. Zbl 1233.68225Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony 4 2010 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 3 2014 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100Gange, G.; Stuckey, P. J.; Lagoon, V. 3 2010 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Resource usage verification. Zbl 1254.68082Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin 3 2003 Propagation redundancy in redundant modelling. Zbl 1273.68340Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J. 3 2003 Local rapid learning for integer programs. Zbl 07116686Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob 3 2019 Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. Zbl 1403.90525Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Jürgen 3 2018 \(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021Sulzmann, Martin; Stuckey, Peter J. 3 2008 Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J. 3 2006 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 3 2005 Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. 3 2008 Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing 3 2003 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 3 2013 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 3 2013 \(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter 3 2015 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 2 2014 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 2 2018 Foundations of aggregation constraints. Zbl 0896.68047Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S. 2 1998 Transforming normal logic programs to constraint logic programs. Zbl 0757.68029Kanchanasut, Kanchana; Stuckey, Peter J. 2 1992 CLP\(({\mathfrak R})\) and some electrical engineering problems. Zbl 0800.68293Heintze, Nevin; Michaylov, Spiro; Stuckey, Peter 2 1992 Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. 2 1993 Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models. Zbl 0883.68025Stuckey, Peter J.; Sudarshan, S. 2 1997 CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J. 2 2011 Stable model semantics for founded bounds. Zbl 1286.68038Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J. 2 2013 Box constraint collections for adhoc constraints. Zbl 1273.68339Cheng, Chi Kan; Lee, Jimmy Ho Man; Stuckey, Peter J. 2 2003 Solver independent rotating workforce scheduling. Zbl 06982409Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J. 2 2018 Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2019 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 2 2019 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 To the gates of HAL: A HAL tutorial. Zbl 1019.68514García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J. 2 2002 Size-change termination analysis in \(k\)-bits. Zbl 1178.68149Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J. 2 2006 A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J. 2 2004 Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan 2 2001 A complete solution to the maximum density still life problem. Zbl 1251.68197Chu, Geoffrey; Stuckey, Peter J. 2 2012 A decomposition-based heuristic for collaborative scheduling in a network of open-pit mines. Zbl 1304.90130Blom, Michelle L.; Burt, Christina N.; Pearce, Adrian R.; Stuckey, Peter J. 2 2014 Lagrangian decomposition via sub-problem search. Zbl 1475.68338Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J. 2 2016 A bit-vector solver with word-level propagation. Zbl 1475.68360Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Learning value heuristics for constraint programming. Zbl 1459.68190Chu, Geoffrey; Stuckey, Peter J. 2 2015 Dominance breaking constraints. Zbl 1316.90025Chu, Geoffrey; Stuckey, Peter J. 1 2015 Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 – August 1, 2002. Proceedings. Zbl 0993.00051 1 2002 Fourier elimination for compiling constraint hierarchies. Zbl 1018.68020Harvey, Warwick; Stuckey, Peter J.; Borning, Alan 1 2002 Effective strictness analysis with HORN constraints. Zbl 0997.68512Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin 1 2001 NP-completeness of minimal width unordered tree layout. Zbl 1088.68070Marriott, Kim; Stuckey, Peter J. 1 2004 Type constraint solving for parametric and ad-hoc polymorphism. Zbl 0959.68022Demoen, Bart; García de la Banda, María; Stuckey, Peter J. 1 1999 A Lagrangian reconstruction of GENET. Zbl 0952.68133Choi, K. M. F.; Lee, J. H. M.; Stuckey, P. J. 1 2000 Meta-programming in \(CLP({\mathcal R})\). Zbl 0886.68032Heintze, Nevin; Michaylov, Spiro; Stuckey, Peter J.; Yap, Roland H. C. 1 1997 On inductive inference of cyclic structures. Zbl 0855.68023Maher, Michael J.; Stuckey, Peter J. 1 1995 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 1 2021 Dashed strings for string constraint solving. Zbl 07382222Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 1 2020 Nutmeg: a MIP and CP hybrid solver using branch-and-check. Zbl 1459.90133Lam, Edward; Gange, Graeme; Stuckey, Peter J.; Van Hentenryck, Pascal; Dekker, Jip J. 1 2020 Core-boosted linear search for incomplete MaxSAT. Zbl 07116684Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 5 2019 Local rapid learning for integer programs. Zbl 07116686Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob 3 2019 Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2019 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 2 2019 An investigation into prediction + optimisation for the knapsack problem. Zbl 07116697Demirović, Emir; Stuckey, Peter J.; Bailey, James; Chan, Jeffrey; Leckie, Chris; Ramamohanarao, Kotagiri; Guns, Tias 1 2019 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. Zbl 1403.90525Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Jürgen 3 2018 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 2 2018 Solver independent rotating workforce scheduling. Zbl 06982409Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J. 2 2018 Propagating lex, find and replace with dashed strings. Zbl 06982381Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 1 2018 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 5 2017 Range-consistent forbidden regions of Allen’s relations. Zbl 06756572Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J. 1 2017 MiniZinc with strings. Zbl 06791219Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido 1 2017 A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Lagrangian decomposition via sub-problem search. Zbl 1475.68338Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J. 2 2016 A bit-vector solver with word-level propagation. Zbl 1475.68360Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. 2 2016 On CNF encodings of decision diagrams. Zbl 1475.68331Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J. 1 2016 Weighted spanning tree constraint with explanations. Zbl 1475.68339de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 1 2016 Rail capacity modelling with constraint programming. Zbl 1479.90025Harabor, Daniel; Stuckey, Peter J. 1 2016 Lazy model expansion: interleaving grounding with search. Zbl 1323.68464De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter 5 2015 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 5 2015 \(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter 3 2015 Learning value heuristics for constraint programming. Zbl 1459.68190Chu, Geoffrey; Stuckey, Peter J. 2 2015 Dominance breaking constraints. Zbl 1316.90025Chu, Geoffrey; Stuckey, Peter J. 1 2015 Automatic minimal-height table layout. Zbl 1328.90120Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J. 1 2015 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 3 2014 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 2 2014 A decomposition-based heuristic for collaborative scheduling in a network of open-pit mines. Zbl 1304.90130Blom, Michelle L.; Burt, Christina N.; Pearce, Adrian R.; Stuckey, Peter J. 2 2014 Modelling with option types in MiniZinc. Zbl 1407.68458Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark 1 2014 Solving RCPSP/max by lazy clause generation. Zbl 1280.90067Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 11 2013 Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J. 7 2013 Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216Metodi, Amit; Codish, Michael; Stuckey, Peter J. 7 2013 MiniZinc with functions. Zbl 1382.68234Stuckey, Peter J.; Tack, Guido 4 2013 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 3 2013 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 3 2013 Stable model semantics for founded bounds. Zbl 1286.68038Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J. 2 2013 A Lagrangian relaxation based forward-backward improvement heuristic for maximising the net present value of resource-constrained projects. Zbl 1382.90120Gu, Hanyu; Schutt, Andreas; Stuckey, Peter J. 1 2013 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 A complete solution to the maximum density still life problem. Zbl 1251.68197Chu, Geoffrey; Stuckey, Peter J. 2 2012 Lazy model expansion by incremental grounding. Zbl 1281.68208De Cat, Broes; Denecker, Marc; Stuckey, Peter 1 2012 Exploiting subproblem dominance in constraint programming. Zbl 1247.68249Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 1 2012 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 13 2011 Solving talent scheduling with dynamic programming. Zbl 1243.90059De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey 5 2011 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 5 2011 MDD propagators with explanation. Zbl 1241.90066Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 5 2011 CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J. 2 2011 Reducing chaos in SAT-like search: finding solutions close to a given one. Zbl 1330.68266Abío, Ignasi; Deters, Morgan; Nieuwenhuis, Robert; Stuckey, Peter J. 1 2011 Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141Schutt, Andreas; Stuckey, Peter J. 8 2010 Rapid learning for binary programs. Zbl 1285.68151Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J. 6 2010 Philosophy of the MiniZinc challenge. Zbl 1208.68207Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 6 2010 Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166Stuckey, Peter J. 4 2010 Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 4 2010 Lock-free parallel dynamic programming. Zbl 1233.68225Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony 4 2010 Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100Gange, G.; Stuckey, P. J.; Lagoon, V. 3 2010 Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 36 2009 Monadic constraint programming. Zbl 1184.68166Schrijvers, Tom; Stuckey, Peter; Wadler, Philip 4 2009 Solving partial order constraints for LPO termination. Zbl 1172.68484Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 1 2009 Propagating systems of dense linear integer constraints. Zbl 1186.68437Feydy, Thibaut; Stuckey, Peter J. 1 2009 Cache conscious data structures for Boolean satisfiability solvers. Zbl 1187.68169Chu, Geoffrey; Harwood, Aaron; Stuckey, Peter J. 1 2009 The design of the zinc modelling language. Zbl 1146.68352Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark 22 2008 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 8 2008 New integer linear programming approaches for course timetabling. Zbl 1180.90197Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J. 8 2008 From high-level model to branch-and-price solution in G12. Zbl 1142.90503Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian 4 2008 \(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021Sulzmann, Martin; Stuckey, Peter J. 3 2008 Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. 3 2008 Principles and practice of constraint programming. 14th international conference, CP 2008, Sydney, Australia, September 14–18, 2008. Proceedings. Zbl 1149.68307 1 2008 Dynamic analysis of bounds versus domain propagation. Zbl 1185.68232Schulte, Christian; Stuckey, Peter J. 1 2008 Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches. Zbl 1214.15021Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J. 11 2007 Understanding functional dependencies via constraint handling rules. Zbl 1107.68031Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J. 10 2007 Encodings of the Sequence constraint. Zbl 1145.68507Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby 9 2007 Propagation = lazy clause generation. Zbl 1145.68527Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 9 2007 Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170De La Banda, Maria Garcia; Stuckey, Peter J. 7 2007 Observable confluence for constraint handling rules. Zbl 1213.68161Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin 6 2007 Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262Choi, C. W.; Lee, J. H. M.; Stuckey, P. J. 6 2007 The island confinement method for reducing search space in local search methods. Zbl 1142.68510Fang, H.; Kilani, Y.; Lee, J. H. M.; Stuckey, P. J. 1 2007 Solving partial order constraints for LPO termination. Zbl 1151.68631Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 7 2006 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 4 2006 ACD term rewriting. Zbl 1131.68374Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian 4 2006 A framework for extended algebraic data types. Zbl 1185.68202Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J. 4 2006 Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J. 3 2006 Size-change termination analysis in \(k\)-bits. Zbl 1178.68149Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J. 2 2006 Automatic implication checking for CHR constraints. Zbl 1276.68043Schrijvers, Tom; Demoen, Bart; Duck, Gregory; Stuckey, Peter; Frühwirth, Thom 1 2006 Type processing by constraint reasoning. Zbl 1168.68366Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy 1 2006 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 7 2005 Testing for termination with monotonicity constraints. Zbl 1165.68328Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 7 2005 Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J. 5 2005 Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666Hawkins, P. J.; Lagoon, V.; Stuckey, P. J. 5 2005 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 3 2005 The refined operational semantics of constraint handling rules. Zbl 1104.68359Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian 19 2004 Speeding up constraint propagation. Zbl 1152.68583Schulte, Christian; Stuckey, Peter J. 7 2004 Set domain propagation using ROBDDs. Zbl 1152.68562Lagoon, Vitaly; Stuckey, Peter J. 4 2004 A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J. 2 2004 NP-completeness of minimal width unordered tree layout. Zbl 1088.68070Marriott, Kim; Stuckey, Peter J. 1 2004 Herbrand constraints in HAL. Zbl 1080.68551Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J. 1 2004 Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005 1 2004 ...and 31 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 869 Authors 35 Stuckey, Peter James 14 Schrijvers, Tom 8 Codish, Michael 8 Gange, Graeme 7 Demoen, Bart 7 Hermenegildo, Manuel V. 6 Berthold, Timo 6 Frühwirth, Thom 6 Garcia de la Banda, Maria 6 Tack, Guido 6 Van Hentenryck, Pascal 6 Wallace, Mark G. 5 De Koninck, Leslie 5 Flener, Pierre 5 Gabbrielli, Maurizio 5 Gallagher, John P. 5 King, Andy 5 Lee, Jimmy Ho-man 5 Marques-Silva, João P. 5 Mesnard, Fred 5 Pearson, Justin 5 Schachte, Peter 5 Schütt, Andreas 5 Sulzmann, Martin 4 Carlsson, Mats 4 Chu, Geoffrey 4 Duck, Gregory J. 4 Heinz, Stefan 4 Hooker, John N. jun. 4 Kafle, Bishoksan 4 Middeldorp, Aart 4 Miguel, Ian 4 Payet, Étienne 4 Pettorossi, Alberto 4 Proietti, Maurizio 4 Schneider-Kamp, Peter 4 Sneyers, Jon 4 Søndergaard, Harald 4 Subramani, Krishnan 4 Van Weert, Peter 4 Vidal, Germán 4 Witzig, Jakob 4 Wojciechowski, Piotr J. 4 Yap, Roland H. C. 3 Albert, Elvira 3 Amadini, Roberto 3 Beldiceanu, Nicolas 3 Bofill, Miquel 3 Boland, Natashia L. 3 Christiansen, Henning 3 Ciré, André Augusto 3 de Cat, Broes 3 De Raedt, Luc 3 Feydy, Thibaut 3 Frank, Michael 3 Furini, Fabio 3 Hebrard, Emmanuel 3 Hirokawa, Nao 3 Komendantskaya, Ekaterina 3 Kreter, Stefan 3 Law, Yat Chiu 3 Leone, Nicola 3 Lierler, Yuliya 3 Lynce, Inês 3 Maher, Michael J. 3 Marriott, Kim 3 Mears, Christopher 3 Meo, Maria Chiara 3 Michel, Laurent 3 Nightingale, Peter W. 3 Orejas, Fernando 3 Pesant, Gilles 3 Pino, Elvira 3 Riguzzi, Fabrizio 3 Rodríguez-Artalejo, Mario 3 Rossi, Gianfranco 3 Schaus, Pierre 3 Seki, Hirohisa 3 Swift, Terrance 3 Walsh, Toby 3 Warren, David Scott 3 Zimmermann, Jürgen 2 Akgün, Özgür 2 Alviano, Mario 2 Amato, Gianluca 2 Ancona, Davide 2 Arceri, Vincenzo 2 Arias, Joaquin 2 Artigues, Christian 2 Azevedo, Francisco 2 Banbara, Mutsunori 2 Banković, Milan 2 Beck, J. Christopher 2 Ben-Amram, Amir M. 2 Bergner, Martin 2 Blair, Howard A. 2 Bogaerts, Bart 2 Brand, Sebastian 2 Brauer, Jörg 2 Bruynooghe, Maurice ...and 769 more Authors all top 5 Cited in 78 Serials 54 Constraints 53 Theory and Practice of Logic Programming 24 Artificial Intelligence 22 European Journal of Operational Research 20 Theoretical Computer Science 12 Annals of Mathematics and Artificial Intelligence 9 Computers & Operations Research 9 Mathematical Programming Computation 8 Journal of Automated Reasoning 7 Annals of Operations Research 7 Journal of Functional Programming 7 INFORMS Journal on Computing 7 Journal of Scheduling 7 Higher-Order and Symbolic Computation 6 Information and Computation 5 New Generation Computing 4 Journal of Computer and System Sciences 4 The Journal of Artificial Intelligence Research (JAIR) 4 OR Spectrum 3 Discrete Applied Mathematics 3 Algorithmica 3 International Journal of Approximate Reasoning 3 Journal of Heuristics 3 Fundamenta Informaticae 3 The Journal of Logic and Algebraic Programming 3 EURO Journal on Computational Optimization 2 Information Processing Letters 2 Information Sciences 2 Programming and Computer Software 2 Science of Computer Programming 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Journal of Global Optimization 2 Mathematical Programming. Series A. Series B 2 Formal Methods in System Design 2 International Transactions in Operational Research 2 ACM Transactions on Computational Logic 2 4OR 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 International Journal for Numerical Methods in Engineering 1 Journal of Optimization Theory and Applications 1 Operations Research 1 Operations Research Letters 1 International Journal of Production Research 1 Journal of Parallel and Distributed Computing 1 Neural Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Archive for Mathematical Logic 1 Computational Optimization and Applications 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Computational and Applied Mathematics 1 Top 1 Journal of Combinatorial Optimization 1 Journal of Graph Algorithms and Applications 1 Journal of the ACM 1 Journal of Integer Sequences 1 RAIRO. Operations Research 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 Journal of Discrete Algorithms 1 Journal of Applied Logic 1 Computational Management Science 1 Discrete Optimization 1 Journal of Industrial and Management Optimization 1 Journal of Zhejiang University. Science A 1 Journal of Mathematics and the Arts 1 Logical Methods in Computer Science 1 Algorithms 1 Advances in Operations Research 1 Statistics Surveys 1 RAIRO. Theoretical Informatics and Applications 1 SN Operations Research Forum all top 5 Cited in 17 Fields 306 Computer science (68-XX) 168 Operations research, mathematical programming (90-XX) 25 Mathematical logic and foundations (03-XX) 9 Biology and other natural sciences (92-XX) 8 Combinatorics (05-XX) 8 Numerical analysis (65-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General and overarching topics; collections (00-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Category theory; homological algebra (18-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 1 Functional analysis (46-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year