×

Stuckey, Peter James

Author ID: stuckey.peter-j Recent zbMATH articles by "Stuckey, Peter James"
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
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

Publications by Year

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.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
51
2009
Programming with constraints. An introduction. Zbl 0935.68098
Marriott, Kim; Stuckey, Peter J.
49
1998
The design of the zinc modelling language. Zbl 1146.68352
Marriott, 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.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
27
1998
The refined operational semantics of constraint handling rules. Zbl 1104.68359
Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian
22
2004
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
17
2011
Negation and constraint logic programming. Zbl 0827.68022
Stuckey, Peter J.
15
1995
Solving RCPSP/max by lazy clause generation. Zbl 1280.90067
Schutt, 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.68216
Metodi, Amit; Codish, Michael; Stuckey, Peter J.
13
2013
Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches. Zbl 1214.15021
Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J.
11
2007
Propagation = lazy clause generation. Zbl 1145.68527
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
11
2007
Semantics of infinite tree logic programming. Zbl 0621.68054
Jaffar, Joxan; Stuckey, Peter J.
10
1986
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
10
2013
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
10
2008
Encodings of the Sequence constraint. Zbl 1145.68507
Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby
10
2007
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
9
2007
Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141
Schutt, Andreas; Stuckey, Peter J.
9
2010
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, 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.90197
Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J.
9
2008
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
9
2006
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
9
2007
Canonical logic programs. Zbl 0592.68018
Jaffar, Joxan; Stuckey, Peter J.
8
1986
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
8
2019
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
8
2019
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
8
2011
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
8
2011
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2005
\(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
8
2015
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2006
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
7
2010
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
7
2010
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
7
2011
Speeding up constraint propagation. Zbl 1152.68583
Schulte, Christian; Stuckey, Peter J.
7
2004
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
6
2017
Efficient intelligent backtracking using linear programming. Zbl 1238.90144
Davey, Bruce; Boland, Natashia; Stuckey, Peter J.
6
2002
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
6
2010
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
6
2013
Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089
Gange, 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.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
6
2003
Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119
Harvey, Warwick; Stuckey, Peter J.
6
2003
Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032
Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J.
6
1995
Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010
Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J.
6
2005
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
6
2005
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
6
2021
Propagation redundancy in redundant modelling. Zbl 1273.68340
Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J.
6
2003
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J.
6
2007
Nutmeg: a MIP and CP hybrid solver using branch-and-check. Zbl 1459.90133
Lam, Edward; Gange, Graeme; Stuckey, Peter J.; Van Hentenryck, Pascal; Dekker, Jip J.
6
2020
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
5
2010
Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
5
2010
Lazy model expansion: interleaving grounding with search. Zbl 1323.68464
De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter
5
2015
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
5
2006
ACD term rewriting. Zbl 1131.68374
Duck, 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.90130
Blom, Michelle L.; Burt, Christina N.; Pearce, Adrian R.; Stuckey, Peter J.
5
2014
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
5
2003
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
5
2004
Reference abstract domains and applications to string analysis. Zbl 1386.68031
Amadini, 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.90525
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Jürgen
4
2018
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, 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.90058
Stuckey, Peter J.
4
1991
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
4
2014
Checking modes of HAL programs. Zbl 1083.68019
García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart
4
2005
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
4
2016
Search combinators. Zbl 1309.90090
Schrijvers, 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.90503
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian
4
2008
Monadic constraint programming. Zbl 1184.68166
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip
4
2009
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
3
2013
Local rapid learning for integer programs. Zbl 07116686
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob
3
2019
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, 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.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2013
Exploiting subproblem dominance in constraint programming. Zbl 1247.68249
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
3
2012
A complete solution to the maximum density still life problem. Zbl 1251.68197
Chu, Geoffrey; Stuckey, Peter J.
3
2012
Solver independent rotating workforce scheduling. Zbl 1511.90199
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
3
2018
Context-sensitive dynamic partial order reduction. Zbl 1494.68047
Albert, 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 07625179
Demirović, 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 07636021
Gange, Graeme; Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
3
2020
Dashed strings for string constraint solving. Zbl 1504.68202
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
3
2020
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
3
2014
Dominance breaking constraints. Zbl 1316.90025
Chu, Geoffrey; Stuckey, Peter J.
3
2015
Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652
Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan
3
2001
Differential methods in logic program analysis. Zbl 0905.68029
Garcí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.68021
Sulzmann, Martin; Stuckey, Peter J.
3
2008
Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367
Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J.
3
2006
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682
Amadini, 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 07116697
Demirović, 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.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
2019
Transforming normal logic programs to constraint logic programs. Zbl 0757.68029
Kanchanasut, Kanchana; Stuckey, Peter J.
2
1992
Lazy model expansion by incremental grounding. Zbl 1281.68208
De Cat, Broes; Denecker, Marc; Stuckey, Peter
2
2012
Stable model semantics for founded bounds. Zbl 1286.68038
Aziz, 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.90120
Gu, Hanyu; Schutt, Andreas; Stuckey, Peter J.
2
2013
Constraint programming for high school timetabling: a scheduling-based model with hot starts. Zbl 1490.68203
Demirović, Emir; Stuckey, Peter J.
2
2018
Robust resource planning for aircraft ground operations. Zbl 07636022
Gö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.68120
Gange, Graeme; Ganty, Pierre; Stuckey, Peter J.
2
2017
Eliminating negation from normal logic programs. Zbl 1493.68071
Kanchanasut, Kanchana; Stuckey, Peter
2
1990
Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326
Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven
2
2021
NP-completeness of minimal width unordered tree layout. Zbl 1088.68070
Marriott, Kim; Stuckey, Peter J.
2
2004
Foundations of aggregation constraints. Zbl 0896.68047
Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S.
2
1998
MurTree: optimal decision trees via dynamic programming and search. Zbl 07625179
Demirović, 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.90179
Lam, 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.90041
Lam, Edward; Desaulniers, Guy; Stuckey, Peter J.
1
2022
Fast optimal and bounded suboptimal Euclidean pathfinding. Zbl 1478.68334
Shen, Bojie; Cheema, Muhammad Aamir; Harabor, Daniel D.; Stuckey, Peter J.
1
2022
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
6
2021
Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326
Li, 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.90133
Lam, Edward; Gange, Graeme; Stuckey, Peter J.; Van Hentenryck, Pascal; Dekker, Jip J.
6
2020
Core-guided and core-boosted search for CP. Zbl 07636021
Gange, Graeme; Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
3
2020
Dashed strings for string constraint solving. Zbl 1504.68202
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
3
2020
Robust resource planning for aircraft ground operations. Zbl 07636022
Gök, Yagmur S.; Guimarans, Daniel; Stuckey, Peter J.; Tomasella, Maurizio; Ozturk, Cemalettin
2
2020
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
8
2019
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
8
2019
Local rapid learning for integer programs. Zbl 07116686
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob
3
2019
Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682
Amadini, 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 07116697
Demirović, 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.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
2019
Time table edge finding with energy variables. Zbl 07116723
Yang, Moli; Schutt, Andreas; Stuckey, Peter J.
1
2019
Toward computing the margin of victory in single transferable vote elections. Zbl 07283447
Blom, Michelle; Stuckey, Peter J.; Teague, Vanessa J.
1
2019
Reference abstract domains and applications to string analysis. Zbl 1386.68031
Amadini, 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.90525
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Jürgen
4
2018
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2018
Solver independent rotating workforce scheduling. Zbl 1511.90199
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
3
2018
Constraint programming for high school timetabling: a scheduling-based model with hot starts. Zbl 1490.68203
Demirović, Emir; Stuckey, Peter J.
2
2018
Breaking symmetries with lex implications. Zbl 1507.68219
Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; Stuckey, Peter J.
1
2018
Propagating lex, find and replace with dashed strings. Zbl 1508.68322
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2018
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
6
2017
Context-sensitive dynamic partial order reduction. Zbl 1494.68047
Albert, 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.68120
Gange, Graeme; Ganty, Pierre; Stuckey, Peter J.
2
2017
MiniZinc with strings. Zbl 1485.68027
Amadini, 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.68193
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Range-consistent forbidden regions of Allen’s relations. Zbl 1489.68247
Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J.
1
2017
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
4
2016
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
Lagrangian decomposition via sub-problem search. Zbl 1475.68338
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
2
2016
Weighted spanning tree constraint with explanations. Zbl 1475.68339
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
2016
A bit-vector solver with word-level propagation. Zbl 1475.68360
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Rail capacity modelling with constraint programming. Zbl 1479.90025
Harabor, Daniel; Stuckey, Peter J.
1
2016
\(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
8
2015
Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
6
2015
Lazy model expansion: interleaving grounding with search. Zbl 1323.68464
De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter
5
2015
Dominance breaking constraints. Zbl 1316.90025
Chu, Geoffrey; Stuckey, Peter J.
3
2015
Learning value heuristics for constraint programming. Zbl 1459.68190
Chu, Geoffrey; Stuckey, Peter J.
2
2015
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, 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.90130
Blom, Michelle L.; Burt, Christina N.; Pearce, Adrian R.; Stuckey, Peter J.
5
2014
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
4
2014
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
3
2014
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
2
2014
Solving RCPSP/max by lazy clause generation. Zbl 1280.90067
Schutt, 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.68216
Metodi, Amit; Codish, Michael; Stuckey, Peter J.
13
2013
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
10
2013
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
6
2013
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
4
2013
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
3
2013
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2013
Stable model semantics for founded bounds. Zbl 1286.68038
Aziz, 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.90120
Gu, Hanyu; Schutt, Andreas; Stuckey, Peter J.
2
2013
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
Exploiting subproblem dominance in constraint programming. Zbl 1247.68249
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
3
2012
A complete solution to the maximum density still life problem. Zbl 1251.68197
Chu, Geoffrey; Stuckey, Peter J.
3
2012
Lazy model expansion by incremental grounding. Zbl 1281.68208
De Cat, Broes; Denecker, Marc; Stuckey, Peter
2
2012
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
17
2011
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
8
2011
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
8
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
7
2011
CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271
Baatar, 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.68266
Abío, Ignasi; Deters, Morgan; Nieuwenhuis, Robert; Stuckey, Peter J.
1
2011
Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141
Schutt, Andreas; Stuckey, Peter J.
9
2010
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
7
2010
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
7
2010
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
6
2010
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
5
2010
Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
5
2010
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
Orthogonal connector routing. Zbl 1284.68478
Wybrow, Michael; Marriott, Kim; Stuckey, Peter J.
1
2010
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
51
2009
Monadic constraint programming. Zbl 1184.68166
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip
4
2009
Propagating systems of dense linear integer constraints. Zbl 1186.68437
Feydy, Thibaut; Stuckey, Peter J.
1
2009
Cache conscious data structures for Boolean satisfiability solvers. Zbl 1187.68169
Chu, Geoffrey; Harwood, Aaron; Stuckey, Peter J.
1
2009
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
1
2009
The design of the zinc modelling language. Zbl 1146.68352
Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
32
2008
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
10
2008
New integer linear programming approaches for course timetabling. Zbl 1180.90197
Boland, 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.90503
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian
4
2008
\(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021
Sulzmann, Martin; Stuckey, Peter J.
3
2008
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
Dynamic analysis of bounds versus domain propagation. Zbl 1185.68232
Schulte, 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.15021
Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J.
11
2007
Propagation = lazy clause generation. Zbl 1145.68527
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
11
2007
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Encodings of the Sequence constraint. Zbl 1145.68507
Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby
10
2007
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
9
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
9
2007
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, 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.68510
Fang, H.; Kilani, Y.; Lee, J. H. M.; Stuckey, P. J.
1
2007
Fast node overlap removal – correction. Zbl 1185.68470
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
1
2007
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
9
2006
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2006
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
5
2006
...and 53 more Documents
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

Citations by Year