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. more...less Homepage: https://people.eng.unimelb.edu.au/pstuckey/ External Links: MGP · Google Scholar · ResearchGate · dblp Documents Indexed: 179 Publications since 1986, including 1 Book 10 Contributions as Editor Co-Authors: 173 Co-Authors with 182 Joint Publications 2,149 Co-Co-Authors all top 5 Co-Authors 7 single-authored 30 Gange, Graeme 26 Marriott, Kim 24 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 Tack, Guido 7 Wallace, Mark G. 6 Amadini, Roberto 6 Demoen, Bart 6 Schrijvers, Tom 5 Demirović, Emir 5 Feydy, Thibaut 5 Harvey, Warwick 5 Jaffar, Joxan 5 Lee, Jimmy Ho-man 4 Blom, Michelle L. 4 Boland, Natashia L. 4 Harabor, Daniel Damir 4 Holzbaur, Christian 4 Maher, Michael J. 3 De Koninck, Leslie 3 de Uña, Diego 3 Glynn, Kevin 3 Hermenegildo, Manuel V. 3 Lam, Edward 3 Pearce, Adrian R. 2 Abío, Ignasi 2 Albert, Elvira 2 Aziz, Rehan Abdul 2 Baatar, Davaatseren 2 Berg, Jeremias 2 Berthold, Timo 2 Borning, Alan H. 2 Bueno, Francisco 2 Burt, Christina N. 2 Chan, Jeffrey 2 Choi, Chiu Wo 2 de Cat, Broes 2 Dekker, Jip J. 2 Denecker, Marc 2 Dwyer, Tim 2 Ehlers, Thorsten 2 Gómez-Zamalloa, Miguel 2 Heintze, Nevin 2 Jeffery, David 2 Kafle, Bishoksan 2 Kanchanasut, Kanchana 2 Kemp, David B. 2 Koenig, Sven 2 Kreter, Stefan 2 Le Bodic, Pierre 2 Mears, Christopher 2 Mesnard, Fred 2 Michaylov, Spiro 2 Moulder, Peter 2 Nethercote, Nicholas 2 Ohrimenko, Olga 2 Peyton Jones, Simon L. 2 Puchinger, Jakob 2 Puebla, Germán 2 Ramakrishnan, Raghu 2 Ramamohanarao, Kotagiri 2 Samulowitz, Horst 2 Schulte, Christian 2 Srivastava, Divesh 2 Sudarshan, S. R. 2 Tam, Vincent H. 2 Teague, Vanessa Joy 2 Walsh, Toby 2 Wang, Wenxi 2 Wazny, Jeremy 2 Wuille, Pieter 2 Wybrow, Michael 2 Yap, Roland H. C. 1 Andrlon, Mak 1 Arenas, Puri 1 Becket, Ralph 1 Beldiceanu, Nicolas 1 Bierlee, Hendrik 1 Bilauca, Mihai 1 Bruynooghe, Maurice 1 Carlsson, Mats 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 Derrien, Alban 1 Desaulniers, Guy 1 Deters, Morgan ...and 73 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 Computers & Operations Research 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 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 Journal of Machine Learning Research (JMLR) 1 ACM Transactions on Computational Logic 1 Engineering Optimization 1 SN Operations Research Forum all top 5 Fields 164 Computer science (68-XX) 62 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) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 139 Publications have been cited 674 times in 474 Documents Cited by ▼ Year ▼ Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 48 2009 Programming with constraints. An introduction. Zbl 0935.68098Marriott, Kim; Stuckey, Peter J. 44 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 30 2008 The semantics of constraint logic programs. Zbl 0920.68068Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter 26 1998 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 20 2004 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 16 2011 Negation and constraint logic programming. Zbl 0827.68022Stuckey, Peter J. 15 1995 Solving RCPSP/max by lazy clause generation. Zbl 1280.90067Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 13 2013 Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216Metodi, Amit; Codish, Michael; Stuckey, Peter J. 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 Semantics of infinite tree logic programming. Zbl 0621.68054Jaffar, Joxan; Stuckey, Peter J. 10 1986 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 Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J. 9 2013 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 9 2008 New integer linear programming approaches for course timetabling. Zbl 1180.90197Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J. 9 2008 Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141Schutt, Andreas; Stuckey, Peter J. 9 2010 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 8 2005 Canonical logic programs. Zbl 0592.68018Jaffar, Joxan; Stuckey, Peter J. 8 1986 Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170De La Banda, Maria Garcia; Stuckey, Peter J. 8 2007 MDD propagators with explanation. Zbl 1241.90066Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 8 2011 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 Rapid learning for binary programs. Zbl 1285.68151Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J. 7 2010 Solving talent scheduling with dynamic programming. Zbl 1243.90059De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey 7 2011 Solving partial order constraints for LPO termination. Zbl 1151.68631Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 7 2006 \(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter 6 2015 Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666Hawkins, P. J.; Lagoon, V.; Stuckey, P. J. 6 2005 Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262Choi, C. W.; Lee, J. H. M.; Stuckey, P. J. 6 2007 Core-boosted linear search for incomplete MaxSAT. Zbl 07116684Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 6 2019 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 6 2017 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. 6 2015 Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J. 6 2005 Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J. 6 1995 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 6 2011 Philosophy of the MiniZinc challenge. Zbl 1208.68207Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 6 2010 Efficient intelligent backtracking using linear programming. Zbl 1238.90144Davey, Bruce; Boland, Natashia; Stuckey, Peter J. 6 2002 Observable confluence for constraint handling rules. Zbl 1213.68161Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin 6 2007 Set domain propagation using ROBDDs. Zbl 1152.68562Lagoon, Vitaly; Stuckey, Peter J. 5 2004 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 5 2006 A framework for extended algebraic data types. Zbl 1185.68202Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J. 5 2006 Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166Stuckey, Peter J. 5 2010 Lazy model expansion: interleaving grounding with search. Zbl 1323.68464De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter 5 2015 Lock-free parallel dynamic programming. Zbl 1233.68225Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony 5 2010 On CNF encodings of decision diagrams. Zbl 1475.68331Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J. 4 2016 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 4 2018 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 4 2005 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 Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119Harvey, Warwick; Stuckey, Peter J. 4 2003 Incremental linear constraint solving and detection of implicit equalities. Zbl 0755.90058Stuckey, Peter J. 4 1991 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. 4 2014 Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 4 2010 ACD term rewriting. Zbl 1131.68374Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian 4 2006 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. 4 2020 MiniZinc with functions. Zbl 1382.68234Stuckey, Peter J.; Tack, Guido 4 2013 Monadic constraint programming. Zbl 1184.68166Schrijvers, Tom; Stuckey, Peter; Wadler, Philip 4 2009 Propagation redundancy in redundant modelling. Zbl 1273.68340Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J. 4 2003 From high-level model to branch-and-price solution in G12. Zbl 1142.90503Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian 4 2008 Solver independent rotating workforce scheduling. Zbl 06982409Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J. 3 2018 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Local rapid learning for integer programs. Zbl 07116686Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob 3 2019 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 3 2018 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 3 2019 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 3 2014 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 3 2014 Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing 3 2003 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; 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 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 3 2021 Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100Gange, G.; Stuckey, P. J.; Lagoon, V. 3 2010 Resource usage verification. Zbl 1254.68082Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin 3 2003 \(\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 Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. 3 2008 A complete solution to the maximum density still life problem. Zbl 1251.68197Chu, Geoffrey; Stuckey, Peter J. 3 2012 NP-completeness of minimal width unordered tree layout. Zbl 1088.68070Marriott, Kim; Stuckey, Peter J. 2 2004 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, 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 Learning value heuristics for constraint programming. Zbl 1459.68190Chu, Geoffrey; Stuckey, Peter J. 2 2015 Foundations of aggregation constraints. Zbl 0896.68047Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S. 2 1998 CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J. 2 2011 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 Stable model semantics for founded bounds. Zbl 1286.68038Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J. 2 2013 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 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 2 2019 Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195de Uña, Diego; Gange, Graeme; Schachte, Peter; 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 Transforming normal logic programs to constraint logic programs. Zbl 0757.68029Kanchanasut, Kanchana; Stuckey, Peter J. 2 1992 Size-change termination analysis in \(k\)-bits. Zbl 1178.68149Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J. 2 2006 Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models. Zbl 0883.68025Stuckey, Peter J.; Sudarshan, S. 2 1997 Modelling with option types in MiniZinc. Zbl 1407.68458Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark 2 2014 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 Eliminating negation from normal logic programs. Zbl 1493.68071Kanchanasut, Kanchana; Stuckey, Peter 2 1990 Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven 2 2021 Box constraint collections for adhoc constraints. Zbl 1273.68339Cheng, Chi Kan; Lee, Jimmy Ho Man; Stuckey, Peter J. 2 2003 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 3 2021 Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven 2 2021 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. 4 2020 Dashed strings for string constraint solving. Zbl 07382222Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 2 2020 Robust resource planning for aircraft ground operations. Zbl 07636022Gök, Yagmur S.; Guimarans, Daniel; Stuckey, Peter J.; Tomasella, Maurizio; Ozturk, Cemalettin 1 2020 Core-boosted linear search for incomplete MaxSAT. Zbl 07116684Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 6 2019 Local rapid learning for integer programs. Zbl 07116686Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob 3 2019 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 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 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 2 2019 Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 2 2019 Time table edge finding with energy variables. Zbl 07116723Yang, Moli; Schutt, Andreas; Stuckey, Peter J. 1 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 4 2018 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 Solver independent rotating workforce scheduling. Zbl 06982409Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J. 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 3 2018 Propagating lex, find and replace with dashed strings. Zbl 06982381Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 1 2018 Breaking symmetries with lex implications. Zbl 06900732Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; Stuckey, Peter J. 1 2018 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 6 2017 Range-consistent forbidden regions of Allen’s relations. Zbl 1489.68247Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J. 1 2017 MiniZinc with strings. Zbl 1485.68027Amadini, 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 1496.68193Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 On CNF encodings of decision diagrams. Zbl 1475.68331Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J. 4 2016 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, 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 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 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 \(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter 6 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. 6 2015 Lazy model expansion: interleaving grounding with search. Zbl 1323.68464De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter 5 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 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. 4 2014 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 3 2014 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 3 2014 Modelling with option types in MiniZinc. Zbl 1407.68458Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark 2 2014 Solving RCPSP/max by lazy clause generation. Zbl 1280.90067Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 13 2013 Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216Metodi, Amit; Codish, Michael; Stuckey, Peter J. 11 2013 Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J. 9 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 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; 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 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. 3 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. 16 2011 MDD propagators with explanation. Zbl 1241.90066Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 8 2011 Solving talent scheduling with dynamic programming. Zbl 1243.90059De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey 7 2011 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 6 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. 9 2010 Rapid learning for binary programs. Zbl 1285.68151Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J. 7 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. 5 2010 Lock-free parallel dynamic programming. Zbl 1233.68225Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony 5 2010 Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 4 2010 Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100Gange, G.; Stuckey, P. J.; Lagoon, V. 3 2010 Orthogonal connector routing. Zbl 1284.68478Wybrow, Michael; Marriott, Kim; Stuckey, Peter J. 1 2010 Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 48 2009 Monadic constraint programming. Zbl 1184.68166Schrijvers, Tom; Stuckey, Peter; Wadler, Philip 4 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 Solving partial order constraints for LPO termination. Zbl 1172.68484Codish, Michael; Lagoon, Vitaly; 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 30 2008 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 9 2008 New integer linear programming approaches for course timetabling. Zbl 1180.90197Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J. 9 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 Dynamic analysis of bounds versus domain propagation. Zbl 1185.68232Schulte, Christian; Stuckey, Peter J. 1 2008 Principles and practice of constraint programming. 14th international conference, CP 2008, Sydney, Australia, September 14–18, 2008. Proceedings. Zbl 1149.68307 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. 8 2007 Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262Choi, C. W.; Lee, J. H. M.; Stuckey, P. J. 6 2007 Observable confluence for constraint handling rules. Zbl 1213.68161Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin 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. 5 2006 A framework for extended algebraic data types. Zbl 1185.68202Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J. 5 2006 ACD term rewriting. Zbl 1131.68374Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian 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 8 2005 Testing for termination with monotonicity constraints. Zbl 1165.68328Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 7 2005 Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666Hawkins, P. J.; Lagoon, V.; Stuckey, P. J. 6 2005 Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J. 6 2005 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 4 2005 ...and 39 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 930 Authors 40 Stuckey, Peter James 14 Schrijvers, Tom 9 Codish, Michael 9 Gange, Graeme 8 Tack, Guido 7 Berthold, Timo 7 Demoen, Bart 7 Hermenegildo, Manuel V. 6 Frühwirth, Thom 6 Gabbrielli, Maurizio 6 Garcia de la Banda, Maria 6 Van Hentenryck, Pascal 6 Wallace, Mark G. 5 De Koninck, Leslie 5 Flener, Pierre 5 Gallagher, John P. 5 King, Andy 5 Lee, Jimmy Ho-man 5 Marques-Silva, João P. 5 Mesnard, Fred 5 Miguel, Ian 5 Pearson, Justin 5 Schachte, Peter 5 Schütt, Andreas 5 Sulzmann, Martin 4 Bofill, Miquel 4 Carlsson, Mats 4 Chu, Geoffrey 4 Ciré, André Augusto 4 Duck, Gregory J. 4 Heinz, Stefan 4 Hooker, John N. jun. 4 Kafle, Bishoksan 4 Meo, Maria Chiara 4 Middeldorp, Aart 4 Nightingale, Peter W. 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 Akgün, Özgür 3 Albert, Elvira 3 Amadini, Roberto 3 Arceri, Vincenzo 3 Beck, J. Christopher 3 Beldiceanu, Nicolas 3 Boland, Natashia L. 3 Chen, Yifu 3 Christiansen, Henning 3 Cortesi, Agostino 3 de Cat, Broes 3 De Raedt, Luc 3 Feydy, Thibaut 3 Frank, Michael 3 Frisch, Alan M. 3 Furini, Fabio 3 Gent, Ian Philip 3 Hebrard, Emmanuel 3 Hirokawa, Nao 3 Itzhakov, Avraham 3 Jefferson, Christopher 3 Komendantskaya, Ekaterina 3 Kreter, Stefan 3 Kučera, Petr 3 Lam, Edward 3 Law, Yat Chiu 3 Leone, Nicola 3 Lierler, Yuliya 3 Lynce, Inês 3 Maher, Michael J. 3 Maravelias, Christos T. 3 Marriott, Kim 3 Mears, Christopher 3 Michel, Laurent 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 Subrahmanian, V. S. 3 Swift, Terrance 3 Vanhoof, Wim 3 Villaret, Mateu 3 Walsh, Toby 3 Warren, David Scott 3 Zimmermann, Jürgen 2 Alviano, Mario 2 Amato, Gianluca 2 Ancona, Davide ...and 830 more Authors all top 5 Cited in 80 Serials 57 Constraints 53 Theory and Practice of Logic Programming 27 Artificial Intelligence 22 European Journal of Operational Research 21 Theoretical Computer Science 14 Computers & Operations Research 12 Annals of Mathematics and Artificial Intelligence 11 INFORMS Journal on Computing 9 Mathematical Programming Computation 8 Journal of Automated Reasoning 8 Annals of Operations Research 8 Journal of Scheduling 7 Journal of Functional Programming 7 Higher-Order and Symbolic Computation 6 Information and Computation 5 New Generation Computing 5 The Journal of Artificial Intelligence Research (JAIR) 4 Journal of Computer and System Sciences 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 2 SN Operations Research Forum 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 Opsearch 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 Optimization and Engineering 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 all top 5 Cited in 18 Fields 330 Computer science (68-XX) 183 Operations research, mathematical programming (90-XX) 28 Mathematical logic and foundations (03-XX) 11 Combinatorics (05-XX) 9 Biology and other natural sciences (92-XX) 8 Numerical analysis (65-XX) 8 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 General topology (54-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