×

Stuckey, Peter James

Compute Distance To:
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 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

Publications by Year

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.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
48
2009
Programming with constraints. An introduction. Zbl 0935.68098
Marriott, Kim; Stuckey, Peter J.
44
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
30
2008
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
26
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
20
2004
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
16
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.
11
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
Semantics of infinite tree logic programming. Zbl 0621.68054
Jaffar, Joxan; Stuckey, Peter J.
10
1986
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
9
2007
Propagation = lazy clause generation. Zbl 1145.68527
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
9
2007
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
9
2013
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
9
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
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
8
2005
Canonical logic programs. Zbl 0592.68018
Jaffar, Joxan; Stuckey, Peter J.
8
1986
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
8
2007
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
8
2011
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
Speeding up constraint propagation. Zbl 1152.68583
Schulte, Christian; Stuckey, Peter J.
7
2004
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
7
2010
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
7
2011
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2006
\(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
6
2015
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
6
2005
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J.
6
2007
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
6
2019
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
6
2017
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
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
Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032
Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J.
6
1995
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
6
2011
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
6
2010
Efficient intelligent backtracking using linear programming. Zbl 1238.90144
Davey, Bruce; Boland, Natashia; Stuckey, Peter J.
6
2002
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
5
2004
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
5
2006
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
5
2006
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
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
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
5
2010
On CNF encodings of decision diagrams. Zbl 1475.68331
Abí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.90525
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Jürgen
4
2018
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
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
Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119
Harvey, Warwick; Stuckey, Peter J.
4
2003
Incremental linear constraint solving and detection of implicit equalities. Zbl 0755.90058
Stuckey, Peter J.
4
1991
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.
4
2014
Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
4
2010
ACD term rewriting. Zbl 1131.68374
Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian
4
2006
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.
4
2020
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
2013
Monadic constraint programming. Zbl 1184.68166
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip
4
2009
Propagation redundancy in redundant modelling. Zbl 1273.68340
Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J.
4
2003
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
Solver independent rotating workforce scheduling. Zbl 06982409
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
3
2018
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
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
Local rapid learning for integer programs. Zbl 07116686
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob
3
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
3
2018
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
3
2019
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
3
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
Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
3
2003
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
3
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
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
3
2021
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
\(\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
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
A complete solution to the maximum density still life problem. Zbl 1251.68197
Chu, Geoffrey; Stuckey, Peter J.
3
2012
NP-completeness of minimal width unordered tree layout. Zbl 1088.68070
Marriott, Kim; Stuckey, Peter J.
2
2004
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Lagrangian decomposition via sub-problem search. Zbl 1475.68338
Chu, Geoffrey; Gange, Graeme; 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
Learning value heuristics for constraint programming. Zbl 1459.68190
Chu, Geoffrey; Stuckey, Peter J.
2
2015
Foundations of aggregation constraints. Zbl 0896.68047
Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S.
2
1998
CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271
Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J.
2
2011
A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557
Puebla, 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.68038
Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J.
2
2013
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
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
To the gates of HAL: A HAL tutorial. Zbl 1019.68514
Garcí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.68029
Kanchanasut, Kanchana; Stuckey, Peter J.
2
1992
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, 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.68025
Stuckey, Peter J.; Sudarshan, S.
2
1997
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
2
2014
CLP\(({\mathfrak R})\) and some electrical engineering problems. Zbl 0800.68293
Heintze, Nevin; Michaylov, Spiro; Stuckey, Peter
2
1992
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
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
Box constraint collections for adhoc constraints. Zbl 1273.68339
Cheng, Chi Kan; Lee, Jimmy Ho Man; Stuckey, Peter J.
2
2003
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
3
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.
4
2020
Dashed strings for string constraint solving. Zbl 07382222
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
2
2020
Robust resource planning for aircraft ground operations. Zbl 07636022
Gök, Yagmur S.; Guimarans, Daniel; Stuckey, Peter J.; Tomasella, Maurizio; Ozturk, Cemalettin
1
2020
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
6
2019
Local rapid learning for integer programs. Zbl 07116686
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob
3
2019
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
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
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 06982409
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
3
2018
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
3
2018
Propagating lex, find and replace with dashed strings. Zbl 06982381
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2018
Breaking symmetries with lex implications. Zbl 06900732
Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; 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
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
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
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
4
2016
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Lagrangian decomposition via sub-problem search. Zbl 1475.68338
Chu, Geoffrey; Gange, Graeme; 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
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; 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.
1
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
6
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
Learning value heuristics for constraint programming. Zbl 1459.68190
Chu, Geoffrey; Stuckey, Peter J.
2
2015
Dominance breaking constraints. Zbl 1316.90025
Chu, Geoffrey; Stuckey, Peter J.
1
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.
4
2014
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
3
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.
11
2013
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
9
2013
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
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
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
3
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
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.
1
2013
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
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
1
2012
Exploiting subproblem dominance in constraint programming. Zbl 1247.68249
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
1
2012
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
16
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
7
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
6
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
6
2010
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
5
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.
4
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
48
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
30
2008
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
9
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
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
9
2007
Propagation = lazy clause generation. Zbl 1145.68527
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
9
2007
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
8
2007
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J.
6
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
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
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2006
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
5
2006
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
4
2006
Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367
Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J.
3
2006
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J.
2
2006
Automatic implication checking for CHR constraints. Zbl 1276.68043
Schrijvers, Tom; Demoen, Bart; Duck, Gregory; Stuckey, Peter; Frühwirth, Thom
1
2006
Type processing by constraint reasoning. Zbl 1168.68366
Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy
1
2006
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
8
2005
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
6
2005
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
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
...and 39 more Documents
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

Citations by Year