×

zbMATH — the first resource for mathematics

Stuckey, Peter James

Compute Distance To:
Author ID: stuckey.peter-j Recent zbMATH articles by "Stuckey, Peter James"
Published as: Stuckey, P. J.; Stuckey, Peter; Stuckey, Peter J.
Homepage: https://people.eng.unimelb.edu.au/pstuckey/
External Links: MGP · ResearchGate · dblp
Documents Indexed: 168 Publications since 1986, including 9 Books
all top 5

Co-Authors

6 single-authored
26 Marriott, Kim
23 Gange, Graeme
23 Garcia de la Banda, Maria
18 Søndergaard, Harald
15 Schachte, Peter
12 Sulzmann, Martin
11 Chu, Geoffrey
11 Codish, Michael
11 Schütt, Andreas
10 Duck, Gregory J.
10 Lagoon, Vitaly
7 Brand, Sebastian
7 Navas, Jorge A.
7 Wallace, Mark G.
6 Demoen, Bart
6 Schrijvers, Tom
5 Feydy, Thibaut
5 Harvey, Warwick
5 Jaffar, Joxan
5 Lee, Jimmy Ho-man
5 Tack, Guido
4 Amadini, Roberto
4 Boland, Natashia L.
4 Holzbaur, Christian
4 Maher, Michael J.
3 De Koninck, Leslie
3 Glynn, Kevin
3 Hermenegildo, Manuel V.
2 Abío, Ignasi
2 Aziz, Rehan Abdul
2 Baatar, Davaatseren
2 Berthold, Timo
2 Blom, Michelle L.
2 Borning, Alan H.
2 Bueno, Francisco
2 Burt, Christina N.
2 Choi, Chiu Wo
2 de Cat, Broes
2 de Uña, Diego
2 Demirović, Emir
2 Denecker, Marc
2 Dwyer, Tim
2 Ehlers, Thorsten
2 Heintze, Nevin
2 Jeffery, David
2 Jones, Simon Peyton
2 Kafle, Bishoksan
2 Kemp, David B.
2 Kreter, Stefan
2 Mears, Christopher
2 Mesnard, Fred
2 Michaylov, Spiro
2 Moulder, Peter
2 Nethercote, Nicholas
2 Ohrimenko, Olga
2 Pearce, Adrian R.
2 Puchinger, Jakob
2 Puebla, Germán
2 Ramakrishnan, Raghu
2 Samulowitz, Horst
2 Schulte, Christian
2 Srivastava, Divesh
2 Sudarshan, S. R.
2 Tam, Vincent H.
2 Walsh, Toby
2 Wang, Wenxi
2 Wazny, Jeremy
2 Wuille, Pieter
2 Wybrow, Michael
2 Yap, Roland H. C.
1 Albert, Elvira
1 Andrlon, Mak
1 Bailey, James M.
1 Becket, Ralph
1 Beldiceanu, Nicolas
1 Berg, Jeremias
1 Bilauca, Mihai
1 Bruynooghe, Maurice
1 Carlsson, Mats
1 Chan, Jeffrey
1 Cheng, Chi Kan
1 Choi, K. M. F.
1 Cornish, J. Robert M.
1 Correas, Jesús
1 Dahl, Veronica
1 Davey, Bruce
1 Dekker, Jip J.
1 Derrien, Alban
1 Deters, Morgan
1 Fang, Haiyang
1 Fischer, Julien
1 Flener, Pierre
1 Francis, Kathryn Glenn
1 Frühwirth, Thom
1 Furbach, Ulrich
1 Gallagher, John P.
1 Gauthier, Francois
1 Genaim, Samir
1 Gómez-Zamalloa, Miguel
1 Gu, Hanyu
...and 53 more Co-Authors

Publications by Year

Citations contained in zbMATH

120 Publications have been cited 519 times in 393 Documents Cited by Year
Programming with constraints. An introduction. Zbl 0935.68098
Marriott, Kim; Stuckey, Peter J.
41
1998
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
32
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
24
2008
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
22
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
19
2004
Negation and constraint logic programming. Zbl 0827.68022
Stuckey, Peter J.
14
1995
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
11
2011
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
Solving RCPSP/max by lazy clause generation. Zbl 1280.90067
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
9
2013
Encodings of the Sequence constraint. Zbl 1145.68507
Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby
9
2007
Semantics of infinite tree logic programming. Zbl 0621.68054
Jaffar, Joxan; Stuckey, Peter J.
9
1986
New integer linear programming approaches for course timetabling. Zbl 1180.90197
Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J.
8
2008
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2008
Propagation = lazy clause generation. Zbl 1145.68527
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
8
2007
Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216
Metodi, Amit; Codish, Michael; Stuckey, Peter J.
7
2013
Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141
Schutt, Andreas; Stuckey, Peter J.
7
2010
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
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
7
2005
Speeding up constraint propagation. Zbl 1152.68583
Schulte, Christian; Stuckey, Peter J.
7
2004
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
6
2010
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J.
6
2007
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
6
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
6
2006
Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032
Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J.
6
1995
Canonical logic programs. Zbl 0592.68018
Jaffar, Joxan; Stuckey, Peter J.
6
1986
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
5
2013
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
5
2011
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
5
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.
5
2005
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.
4
2015
Lazy model expansion: interleaving grounding with search. Zbl 1323.68464
De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter
4
2015
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
4
2014
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
2013
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
4
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
4
2011
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
4
2010
Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
4
2010
Monadic constraint programming. Zbl 1184.68166
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip
4
2009
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
ACD term rewriting. Zbl 1131.68374
Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian
4
2006
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
4
2006
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
4
2006
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
4
2004
Propagation redundancy in redundant modelling. Zbl 1273.68340
Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J.
4
2003
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
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
3
2013
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
3
2010
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
3
2010
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.
3
2008
\(\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
Checking modes of HAL programs. Zbl 1083.68019
García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart
3
2005
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
3
2003
Efficient intelligent backtracking using linear programming. Zbl 1238.90144
Davey, Bruce; Boland, Natashia; Stuckey, Peter J.
3
2002
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
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.
2
2018
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
A bit-vector solver with word-level propagation. Zbl 06598678
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Learning value heuristics for constraint programming. Zbl 06605751
Chu, Geoffrey; Stuckey, Peter J.
2
2015
\(\#{\exists}SAT\): projected model counting. Zbl 06512569
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
2
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.
2
2014
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2013
Stable model semantics for founded bounds. Zbl 1286.68038
Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J.
2
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
2
2013
CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271
Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J.
2
2011
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
2
2010
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
2
2009
Type processing by constraint reasoning. Zbl 1168.68366
Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy
2
2006
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J.
2
2006
Box constraint collections for adhoc constraints. Zbl 1273.68339
Cheng, Chi Kan; Lee, Jimmy Ho Man; Stuckey, Peter J.
2
2003
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
Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652
Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan
2
2001
Special issue: Constraint logic programming. Zbl 0924.00019
Marriott, Kim (ed.); Stuckey, Peter J. (ed.)
2
1998
Foundations of aggregation constraints. Zbl 0896.68047
Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S.
2
1998
Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models. Zbl 0883.68025
Stuckey, Peter J.; Sudarshan, S.
2
1997
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
CLP\(({\mathfrak R})\) and some electrical engineering problems. Zbl 0800.68293
Heintze, Nevin; Michaylov, Spiro; Stuckey, Peter
2
1992
Transforming normal logic programs to constraint logic programs. Zbl 0757.68029
Kanchanasut, Kanchana; Stuckey, Peter J.
2
1992
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
1
2019
Solver independent rotating workforce scheduling. Zbl 06982409
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
1
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
1
2018
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
1
2017
A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Range-consistent forbidden regions of Allen’s relations. Zbl 06756572
Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J.
1
2017
Rail capacity modelling with constraint programming. Zbl 06598664
Harabor, Daniel; Stuckey, Peter J.
1
2016
Weighted spanning tree constraint with explanations. Zbl 06598659
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2016
Lagrangian decomposition via sub-problem search. Zbl 06598657
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
1
2016
On CNF encodings of decision diagrams. Zbl 06598652
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
2016
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
1
2014
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
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
Lazy model expansion by incremental grounding. Zbl 1281.68208
De Cat, Broes; Denecker, Marc; Stuckey, Peter
1
2012
A complete solution to the maximum density still life problem. Zbl 1251.68197
Chu, Geoffrey; Stuckey, Peter J.
1
2012
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
1
2019
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.
2
2018
Solver independent rotating workforce scheduling. Zbl 06982409
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
1
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
1
2018
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
1
2017
A benders decomposition approach to deciding modular linear integer arithmetic. Zbl 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
Range-consistent forbidden regions of Allen’s relations. Zbl 06756572
Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J.
1
2017
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
2
2016
A bit-vector solver with word-level propagation. Zbl 06598678
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.
2
2016
Rail capacity modelling with constraint programming. Zbl 06598664
Harabor, Daniel; Stuckey, Peter J.
1
2016
Weighted spanning tree constraint with explanations. Zbl 06598659
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
1
2016
Lagrangian decomposition via sub-problem search. Zbl 06598657
Chu, Geoffrey; Gange, Graeme; Stuckey, Peter J.
1
2016
On CNF encodings of decision diagrams. Zbl 06598652
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
2016
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.
4
2015
Lazy model expansion: interleaving grounding with search. Zbl 1323.68464
De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter
4
2015
Learning value heuristics for constraint programming. Zbl 06605751
Chu, Geoffrey; Stuckey, Peter J.
2
2015
\(\#{\exists}SAT\): projected model counting. Zbl 06512569
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
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
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
4
2014
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.
2
2014
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
1
2014
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
Solving RCPSP/max by lazy clause generation. Zbl 1280.90067
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
9
2013
Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216
Metodi, Amit; Codish, Michael; Stuckey, Peter J.
7
2013
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
5
2013
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
2013
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
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.
2
2013
Stable model semantics for founded bounds. Zbl 1286.68038
Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J.
2
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
2
2013
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
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
Lazy model expansion by incremental grounding. Zbl 1281.68208
De Cat, Broes; Denecker, Marc; Stuckey, Peter
1
2012
A complete solution to the maximum density still life problem. Zbl 1251.68197
Chu, Geoffrey; Stuckey, Peter J.
1
2012
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
11
2011
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
5
2011
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
4
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
4
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.
7
2010
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
6
2010
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
4
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
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
3
2010
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
2
2010
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
32
2009
Monadic constraint programming. Zbl 1184.68166
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip
4
2009
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
2
2009
Cache conscious data structures for Boolean satisfiability solvers. Zbl 1187.68169
Chu, Geoffrey; Harwood, Aaron; Stuckey, Peter J.
1
2009
Propagating systems of dense linear integer constraints. Zbl 1186.68437
Feydy, Thibaut; 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
24
2008
New integer linear programming approaches for course timetabling. Zbl 1180.90197
Boland, Natashia; Hughes, Barry D.; Merlot, Liam T. G.; Stuckey, Peter J.
8
2008
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
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
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.
3
2008
\(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021
Sulzmann, Martin; Stuckey, Peter J.
3
2008
Principles and practice of constraint programming. 14th international conference, CP 2008, Sydney, Australia, September 14–18, 2008. Proceedings. Zbl 1149.68307
Stuckey, Peter J. (ed.)
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
8
2007
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J.
6
2007
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter 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.
6
2006
ACD term rewriting. Zbl 1131.68374
Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian
4
2006
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
4
2006
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
4
2006
Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367
Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J.
3
2006
Type processing by constraint reasoning. Zbl 1168.68366
Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy
2
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
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
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
7
2005
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
5
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.
5
2005
Checking modes of HAL programs. Zbl 1083.68019
García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart
3
2005
The refined operational semantics of constraint handling rules. Zbl 1104.68359
Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian
19
2004
Speeding up constraint propagation. Zbl 1152.68583
Schulte, Christian; Stuckey, Peter J.
7
2004
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
4
2004
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004
NP-completeness of minimal width unordered tree layout. Zbl 1088.68070
Marriott, Kim; Stuckey, Peter J.
1
2004
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.
1
2004
Herbrand constraints in HAL. Zbl 1080.68551
Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J.
1
2004
Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005
Kameyama, Yukiyoshi (ed.); Stuckey, Peter J. (ed.)
1
2004
Propagation redundancy in redundant modelling. Zbl 1273.68340
Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J.
4
2003
Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119
Harvey, Warwick; Stuckey, Peter J.
4
2003
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
3
2003
Box constraint collections for adhoc constraints. Zbl 1273.68339
Cheng, Chi Kan; Lee, Jimmy Ho Man; Stuckey, Peter J.
2
2003
Efficient intelligent backtracking using linear programming. Zbl 1238.90144
Davey, Bruce; Boland, Natashia; Stuckey, Peter J.
3
2002
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
A theory of overloading. Zbl 1322.68049
Stuckey, Peter J.; Sulzmann, Martin
1
2002
Fourier elimination for compiling constraint hierarchies. Zbl 1018.68020
Harvey, Warwick; Stuckey, Peter J.; Borning, Alan
1
2002
Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 – August 1, 2002. Proceedings. Zbl 0993.00051
Stuckey, Peter J. (ed.)
1
2002
Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652
Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan
2
2001
...and 20 more Documents
all top 5

Cited by 777 Authors

32 Stuckey, Peter James
14 Schrijvers, Tom
8 Codish, Michael
7 Demoen, Bart
6 Frühwirth, Thom
6 Garcia de la Banda, Maria
6 Tack, Guido
6 Wallace, Mark G.
5 De Koninck, Leslie
5 Flener, Pierre
5 Gange, Graeme
5 Hermenegildo, Manuel V.
5 King, Andy
5 Lee, Jimmy Ho-man
5 Pearson, Justin
5 Schütt, Andreas
5 Sulzmann, Martin
5 Van Hentenryck, Pascal
4 Berthold, Timo
4 Carlsson, Mats
4 Chu, Geoffrey
4 Duck, Gregory J.
4 Gabbrielli, Maurizio
4 Gallagher, John P.
4 Hooker, John N. jun.
4 Leone, Nicola
4 Lierler, Yuliya
4 Marques-Silva, João P.
4 Mesnard, Fred
4 Miguel, Ian
4 Schneider-Kamp, Peter
4 Sneyers, Jon
4 Subramani, Krishnan
4 Van Weert, Peter
4 Wojciechowski, Piotr J.
4 Yap, Roland H. C.
3 Albert, Elvira
3 Alviano, Mario
3 Beldiceanu, Nicolas
3 Bofill, Miquel
3 Boland, Natashia L.
3 Christiansen, Henning
3 Ciré, André Augusto
3 de Cat, Broes
3 De Raedt, Luc
3 Faber, Wolfgang
3 Feydy, Thibaut
3 Frank, Michael
3 Hebrard, Emmanuel
3 Heinz, Stefan
3 Kafle, Bishoksan
3 Komendantskaya, Ekaterina
3 Kreter, Stefan
3 Law, Yat Chiu
3 Lecoutre, Christophe
3 Lynce, Inês
3 Maher, Michael J.
3 Marriott, Kim
3 Mears, Christopher
3 Meo, Maria Chiara
3 Middeldorp, Aart
3 Nightingale, Peter W.
3 Orejas, Fernando
3 Payet, Étienne
3 Pesant, Gilles
3 Pettorossi, Alberto
3 Pino, Elvira
3 Proietti, Maurizio
3 Rodríguez-Artalejo, Mario
3 Rossi, Gianfranco
3 Schachte, Peter
3 Seki, Hirohisa
3 Søndergaard, Harald
3 Swift, Terrance
3 Vidal, Germán
3 Walsh, Toby
3 Warren, David Scott
3 Zimmermann, Jürgen
2 Amato, Gianluca
2 Ancona, Davide
2 Azevedo, Francisco
2 Banbara, Mutsunori
2 Banković, Milan
2 Beck, J. Christopher
2 Ben-Amram, Amir M.
2 Bergner, Martin
2 Blair, Howard A.
2 Brand, Sebastian
2 Brauer, Jörg
2 Bruynooghe, Maurice
2 Caprara, Alberto
2 Ceselli, Alberto
2 Cruz-Filipe, Luís
2 del Vado Vírseda, Rafael
2 Denecker, Marc
2 Dovier, Agostino
2 Ehrgott, Matthias
2 Ernst, Andreas T.
2 Fages, François
2 Fages, Jean-Guillaume
...and 677 more Authors
all top 5

Cited in 76 Serials

53 Constraints
50 Theory and Practice of Logic Programming
22 Artificial Intelligence
21 Theoretical Computer Science
17 European Journal of Operational Research
10 Annals of Mathematics and Artificial Intelligence
8 Journal of Automated Reasoning
7 Annals of Operations Research
7 Journal of Functional Programming
7 Journal of Scheduling
7 Higher-Order and Symbolic Computation
6 Computers & Operations Research
6 Mathematical Programming Computation
5 Journal of Computer and System Sciences
5 New Generation Computing
5 Information and Computation
5 INFORMS Journal on Computing
4 OR Spectrum
3 Discrete Applied Mathematics
3 Algorithmica
3 International Journal of Approximate Reasoning
3 Journal of Heuristics
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 Mathematical Programming. Series A. Series B
2 Formal Methods in System Design
2 The Journal of Artificial Intelligence Research (JAIR)
2 International Transactions in Operational Research
2 ACM Transactions on Computational Logic
2 4OR
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Computers & Mathematics with Applications
1 Discrete Mathematics
1 International Journal for Numerical Methods in Engineering
1 Journal of Optimization Theory and Applications
1 Operations Research
1 Operations Research Letters
1 International Journal of Production Research
1 Journal of Parallel and Distributed Computing
1 Neural Computation
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Global Optimization
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 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 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review
1 SN Operations Research Forum

Citations by Year