Edit Profile (opens in new tab) Stuckey, Peter James Co-Author Distance 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: 180 Publications since 1986, including 1 Book 10 Contributions as Editor Co-Authors: 173 Co-Authors with 183 Joint Publications 2,247 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 Blom, Michelle L. 5 Demirović, Emir 5 Feydy, Thibaut 5 Harvey, Warwick 5 Jaffar, Joxan 5 Lee, Jimmy Ho-man 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. 3 Teague, Vanessa Joy 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 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) 61 Operations research, mathematical programming (90-XX) 10 General and overarching topics; collections (00-XX) 8 Combinatorics (05-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Mathematical logic and foundations (03-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 153 Publications have been cited 776 times in 542 Documents Cited by ▼ Year ▼ Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 51 2009 Programming with constraints. An introduction. Zbl 0935.68098Marriott, Kim; Stuckey, Peter J. 49 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 32 2008 The semantics of constraint logic programs. Zbl 0920.68068Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter 27 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 22 2004 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 17 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. 13 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 Propagation = lazy clause generation. Zbl 1145.68527Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 11 2007 Semantics of infinite tree logic programming. Zbl 0621.68054Jaffar, Joxan; Stuckey, Peter J. 10 1986 Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J. 10 2013 Understanding functional dependencies via constraint handling rules. Zbl 1107.68031Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J. 10 2007 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 10 2008 Encodings of the Sequence constraint. Zbl 1145.68507Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby 10 2007 Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170De La Banda, Maria Garcia; Stuckey, Peter J. 9 2007 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 9 2005 New integer linear programming approaches for course timetabling. Zbl 1180.90197Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J. 9 2008 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 9 2006 Observable confluence for constraint handling rules. Zbl 1213.68161Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin 9 2007 Canonical logic programs. Zbl 0592.68018Jaffar, Joxan; Stuckey, Peter J. 8 1986 Core-boosted linear search for incomplete MaxSAT. Zbl 07116684Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 8 2019 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 8 2019 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 8 2011 Testing for termination with monotonicity constraints. Zbl 1165.68328Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 8 2005 \(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter 8 2015 Solving partial order constraints for LPO termination. Zbl 1151.68631Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 8 2006 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 7 2010 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 7 2011 Speeding up constraint propagation. Zbl 1152.68583Schulte, Christian; Stuckey, Peter J. 7 2004 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 6 2017 Efficient intelligent backtracking using linear programming. Zbl 1238.90144Davey, Bruce; Boland, Natashia; Stuckey, Peter J. 6 2002 Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166Stuckey, Peter J. 6 2010 MiniZinc with functions. Zbl 1382.68234Stuckey, Peter J.; Tack, Guido 6 2013 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 Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing 6 2003 Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119Harvey, Warwick; Stuckey, Peter J. 6 2003 Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J. 6 1995 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 Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666Hawkins, P. J.; Lagoon, V.; Stuckey, P. J. 6 2005 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 6 2021 Propagation redundancy in redundant modelling. Zbl 1273.68340Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J. 6 2003 Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262Choi, C. W.; Lee, J. H. M.; Stuckey, P. J. 6 2007 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. 6 2020 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. 5 2010 Lazy model expansion: interleaving grounding with search. Zbl 1323.68464De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter 5 2015 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 5 2006 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. 5 2014 Resource usage verification. Zbl 1254.68082Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin 5 2003 Set domain propagation using ROBDDs. Zbl 1152.68562Lagoon, Vitaly; Stuckey, Peter J. 5 2004 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 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 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 Incremental linear constraint solving and detection of implicit equalities. Zbl 0755.90058Stuckey, Peter J. 4 1991 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 4 2014 Checking modes of HAL programs. Zbl 1083.68019García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart 4 2005 On CNF encodings of decision diagrams. Zbl 1475.68331Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J. 4 2016 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 4 2013 From high-level model to branch-and-price solution in G12. Zbl 1142.90503Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian 4 2008 Monadic constraint programming. Zbl 1184.68166Schrijvers, Tom; Stuckey, Peter; Wadler, Philip 4 2009 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 Local rapid learning for integer programs. Zbl 07116686Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob 3 2019 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 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 Exploiting subproblem dominance in constraint programming. Zbl 1247.68249Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 3 2012 A complete solution to the maximum density still life problem. Zbl 1251.68197Chu, Geoffrey; Stuckey, Peter J. 3 2012 Solver independent rotating workforce scheduling. Zbl 1511.90199Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J. 3 2018 Context-sensitive dynamic partial order reduction. Zbl 1494.68047Albert, Elvira; Arenas, Puri; de la Banda, María García; Gómez-Zamalloa, Miguel; Stuckey, Peter J. 3 2017 MurTree: optimal decision trees via dynamic programming and search. Zbl 07625179Demirović, Emir; Lukina, Anna; Hebrard, Emmanuel; Chan, Jeffrey; Bailey, James; Leckie, Christopher; Ramamohanarao, Kotagiri; Stuckey, Peter J. 3 2022 Core-guided and core-boosted search for CP. Zbl 07636021Gange, Graeme; Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 3 2020 Dashed strings for string constraint solving. Zbl 1504.68202Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 3 2020 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 3 2014 Dominance breaking constraints. Zbl 1316.90025Chu, Geoffrey; Stuckey, Peter J. 3 2015 Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan 3 2001 Differential methods in logic program analysis. Zbl 0905.68029García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald 3 1998 \(\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 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. 3 2008 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 Transforming normal logic programs to constraint logic programs. Zbl 0757.68029Kanchanasut, Kanchana; Stuckey, Peter J. 2 1992 Lazy model expansion by incremental grounding. Zbl 1281.68208De Cat, Broes; Denecker, Marc; Stuckey, Peter 2 2012 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. 2 2013 Constraint programming for high school timetabling: a scheduling-based model with hot starts. Zbl 1490.68203Demirović, Emir; Stuckey, Peter J. 2 2018 Robust resource planning for aircraft ground operations. Zbl 07636022Gök, Yagmur S.; Guimarans, Daniel; Stuckey, Peter J.; Tomasella, Maurizio; Ozturk, Cemalettin 2 2020 Fixing the state budget: approximation of regular languages with small DFAs. Zbl 1495.68120Gange, Graeme; Ganty, Pierre; Stuckey, Peter J. 2 2017 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 NP-completeness of minimal width unordered tree layout. Zbl 1088.68070Marriott, Kim; Stuckey, Peter J. 2 2004 Foundations of aggregation constraints. Zbl 0896.68047Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S. 2 1998 MurTree: optimal decision trees via dynamic programming and search. Zbl 07625179Demirović, Emir; Lukina, Anna; Hebrard, Emmanuel; Chan, Jeffrey; Bailey, James; Leckie, Christopher; Ramamohanarao, Kotagiri; Stuckey, Peter J. 3 2022 Branch-and-cut-and-price for multi-agent path finding. Zbl 1520.90179Lam, Edward; Le Bodic, Pierre; Harabor, Daniel; Stuckey, Peter J. 1 2022 Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear recharging and capacitated recharging stations. Zbl 1520.90041Lam, Edward; Desaulniers, Guy; Stuckey, Peter J. 1 2022 Fast optimal and bounded suboptimal Euclidean pathfinding. Zbl 1478.68334Shen, Bojie; Cheema, Muhammad Aamir; Harabor, Daniel D.; Stuckey, Peter J. 1 2022 Learning optimal decision sets and lists with SAT. Zbl 07470375Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre 6 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. 6 2020 Core-guided and core-boosted search for CP. Zbl 07636021Gange, Graeme; Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 3 2020 Dashed strings for string constraint solving. Zbl 1504.68202Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 3 2020 Robust resource planning for aircraft ground operations. Zbl 07636022Gök, Yagmur S.; Guimarans, Daniel; Stuckey, Peter J.; Tomasella, Maurizio; Ozturk, Cemalettin 2 2020 Core-boosted linear search for incomplete MaxSAT. Zbl 07116684Berg, Jeremias; Demirović, Emir; Stuckey, Peter J. 8 2019 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 8 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 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 Toward computing the margin of victory in single transferable vote elections. Zbl 07283447Blom, Michelle; Stuckey, Peter J.; Teague, Vanessa J. 1 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 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 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 1511.90199Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J. 3 2018 Constraint programming for high school timetabling: a scheduling-based model with hot starts. Zbl 1490.68203Demirović, Emir; Stuckey, Peter J. 2 2018 Breaking symmetries with lex implications. Zbl 1507.68219Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; Stuckey, Peter J. 1 2018 Propagating lex, find and replace with dashed strings. Zbl 1508.68322Amadini, 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. 6 2017 Context-sensitive dynamic partial order reduction. Zbl 1494.68047Albert, Elvira; Arenas, Puri; de la Banda, María García; Gómez-Zamalloa, Miguel; Stuckey, Peter J. 3 2017 Fixing the state budget: approximation of regular languages with small DFAs. Zbl 1495.68120Gange, Graeme; Ganty, Pierre; Stuckey, Peter J. 2 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 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 On CNF encodings of decision diagrams. Zbl 1475.68331Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J. 4 2016 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 Lagrangian decomposition via sub-problem search. Zbl 1475.68338Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J. 2 2016 Weighted spanning tree constraint with explanations. Zbl 1475.68339de Uña, Diego; Gange, Graeme; Schachte, Peter; 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 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 8 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 Dominance breaking constraints. Zbl 1316.90025Chu, Geoffrey; Stuckey, Peter J. 3 2015 Learning value heuristics for constraint programming. Zbl 1459.68190Chu, Geoffrey; Stuckey, Peter J. 2 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. 5 2014 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 4 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. 13 2013 Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J. 10 2013 MiniZinc with functions. Zbl 1382.68234Stuckey, Peter J.; Tack, Guido 6 2013 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 4 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 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; 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. 2 2013 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 Exploiting subproblem dominance in constraint programming. Zbl 1247.68249Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 3 2012 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 2 2012 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 17 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 8 2011 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 7 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 7 2010 Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166Stuckey, Peter J. 6 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. 5 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 51 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 32 2008 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 10 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 Propagation = lazy clause generation. Zbl 1145.68527Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 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 10 2007 Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170De La Banda, Maria Garcia; Stuckey, Peter J. 9 2007 Observable confluence for constraint handling rules. Zbl 1213.68161Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin 9 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 Fast node overlap removal – correction. Zbl 1185.68470Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 1 2007 Fast node overlap removal. Zbl 1171.68609Dwyer, Tim; Marriott, Kim; Stuckey, Peter J. 9 2006 Solving partial order constraints for LPO termination. Zbl 1151.68631Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 8 2006 A framework for extended algebraic data types. Zbl 1185.68202Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J. 5 2006 ...and 53 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,076 Authors 43 Stuckey, Peter James 14 Schrijvers, Tom 12 Codish, Michael 9 Gange, Graeme 8 Tack, Guido 7 Berthold, Timo 7 Demoen, Bart 7 Frühwirth, Thom 7 Hermenegildo, Manuel V. 7 Wallace, Mark G. 6 Gabbrielli, Maurizio 6 Garcia de la Banda, Maria 6 King, Andy 6 Lee, Jimmy Ho-man 6 Marques-Silva, João P. 6 Mesnard, Fred 6 Miguel, Ian 6 Sulzmann, Martin 6 Van Hentenryck, Pascal 5 Carlsson, Mats 5 De Koninck, Leslie 5 Flener, Pierre 5 Gallagher, John P. 5 Marriott, Kim 5 Pearson, Justin 5 Schachte, Peter 5 Schütt, Andreas 5 Søndergaard, Harald 4 Akgün, Özgür 4 Albert, Elvira 4 Bofill, Miquel 4 Christiansen, Henning 4 Chu, Geoffrey 4 Ciré, André Augusto 4 De Raedt, Luc 4 Duck, Gregory J. 4 Hebrard, Emmanuel 4 Heinz, Stefan 4 Hooker, John N. jun. 4 Itzhakov, Avraham 4 Kafle, Bishoksan 4 Meo, Maria Chiara 4 Middeldorp, Aart 4 Nightingale, Peter W. 4 Orejas, Fernando 4 Payet, Étienne 4 Pettorossi, Alberto 4 Proietti, Maurizio 4 Schaub, Torsten H. 4 Schneider-Kamp, Peter 4 Sneyers, Jon 4 Subramani, Krishnan 4 Van Weert, Peter 4 Vidal, Germán 4 Witzig, Jakob 4 Wojciechowski, Piotr J. 4 Yap, Roland H. C. 3 Amadini, Roberto 3 Arceri, Vincenzo 3 Banbara, Mutsunori 3 Beck, J. Christopher 3 Beldiceanu, Nicolas 3 Ben-Amram, Amir M. 3 Boland, Natashia L. 3 Brand, Sebastian 3 Chen, Yifu 3 Cortesi, Agostino 3 de Cat, Broes 3 Dovier, Agostino 3 Dwyer, Tim 3 Feydy, Thibaut 3 Frank, Michael 3 Frisch, Alan M. 3 Furini, Fabio 3 Gebser, Martin 3 Gent, Ian Philip 3 Hage, Jurriaan 3 Hirokawa, Nao 3 Jefferson, Christopher 3 Karlsson, Emil 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 Mears, Christopher 3 Michel, Laurent 3 Pesant, Gilles 3 Pino, Elvira 3 Puchinger, Jakob 3 Riguzzi, Fabrizio 3 Rodríguez-Artalejo, Mario 3 Rönnberg, Elina 3 Rossi, Gianfranco 3 Schaus, Pierre ...and 976 more Authors all top 5 Cited in 83 Serials 60 Constraints 54 Theory and Practice of Logic Programming 31 Artificial Intelligence 25 European Journal of Operational Research 21 Theoretical Computer Science 18 Computers & Operations Research 12 Annals of Mathematics and Artificial Intelligence 12 INFORMS Journal on Computing 10 Annals of Operations Research 9 Journal of Scheduling 9 Mathematical Programming Computation 8 Journal of Automated Reasoning 7 Journal of Functional Programming 7 The Journal of Artificial Intelligence Research (JAIR) 7 Higher-Order and Symbolic Computation 6 Information and Computation 5 New Generation Computing 4 Journal of Computer and System Sciences 4 International Transactions in Operational Research 4 OR Spectrum 3 Discrete Applied Mathematics 3 Algorithmica 3 International Journal of Approximate Reasoning 3 Formal Methods in System Design 3 Journal of Heuristics 3 Fundamenta Informaticae 3 The Journal of Logic and Algebraic Programming 3 EURO Journal on Computational Optimization 3 SN Operations Research Forum 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 Optimization and Engineering 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 Opsearch 1 Operations Research Letters 1 International Journal of Production Research 1 Journal of Parallel and Distributed Computing 1 AI Communications 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 Journal of Machine Learning Research (JMLR) 1 Computer Languages, Systems & Structures 1 ACM Journal of Experimental Algorithmics 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 20 Fields 382 Computer science (68-XX) 207 Operations research, mathematical programming (90-XX) 29 Mathematical logic and foundations (03-XX) 16 Combinatorics (05-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Biology and other natural sciences (92-XX) 8 Numerical analysis (65-XX) 4 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) 2 Statistics (62-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year