×

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
27 Gange, Graeme
26 Marriott, Kim
23 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 Wallace, Mark G.
6 Amadini, Roberto
6 Demoen, Bart
6 Schrijvers, Tom
5 Feydy, Thibaut
5 Harvey, Warwick
5 Jaffar, Joxan
5 Lee, Jimmy Ho-man
5 Tack, Guido
4 Boland, Natashia L.
4 Holzbaur, Christian
4 Maher, Michael J.
3 De Koninck, Leslie
3 de Uña, Diego
3 Glynn, Kevin
3 Harabor, Daniel Damir
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 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 Becket, Ralph
1 Beldiceanu, Nicolas
1 Berg, Jeremias
1 Bilauca, Mihai
1 Bruynooghe, Maurice
1 Carlsson, Mats
1 Chan, Jeffrey
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 Dekker, Jip J.
1 Derrien, Alban
1 Deters, Morgan
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 57 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

131 Publications have been cited 579 times in 436 Documents Cited by Year
Programming with constraints. An introduction. Zbl 0935.68098
Marriott, Kim; Stuckey, Peter J.
44
1998
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
36
2009
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
25
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
22
2008
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.
15
1995
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
13
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
Solving RCPSP/max by lazy clause generation. Zbl 1280.90067
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
11
2013
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Semantics of infinite tree logic programming. Zbl 0621.68054
Jaffar, Joxan; Stuckey, Peter J.
9
1986
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
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
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
Incremental satisfiability and implication for UTVPI constraints. Zbl 1243.90141
Schutt, Andreas; Stuckey, Peter J.
8
2010
Speeding up constraint propagation. Zbl 1152.68583
Schulte, Christian; Stuckey, Peter J.
7
2004
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2006
Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems. Zbl 1267.68216
Metodi, Amit; Codish, Michael; Stuckey, Peter J.
7
2013
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
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
Explaining time-table-edge-finding propagation for the cumulative resource constraint. Zbl 1382.68232
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.
7
2013
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
7
2007
Canonical logic programs. Zbl 0592.68018
Jaffar, Joxan; Stuckey, Peter J.
6
1986
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
6
2010
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
Bottom-up evaluation and query optimization of well-founded models. Zbl 0873.68032
Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J.
6
1995
Removing propagation redundant constraints in redundant modeling. Zbl 1367.68262
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J.
6
2007
Efficient intelligent backtracking using linear programming. Zbl 1238.90144
Davey, Bruce; Boland, Natashia; Stuckey, Peter J.
6
2002
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
6
2010
Lazy model expansion: interleaving grounding with search. Zbl 1323.68464
De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter
5
2015
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
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
5
2019
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
5
2011
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
5
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
5
2011
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.
5
2015
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
5
2017
Incremental linear constraint solving and detection of implicit equalities. Zbl 0755.90058
Stuckey, Peter J.
4
1991
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
4
2010
Fast node overlap removal. Zbl 1171.68609
Dwyer, Tim; Marriott, Kim; Stuckey, Peter J.
4
2006
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
4
2006
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
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
Improving linear constraint propagation by changing constraint representation. Zbl 1039.68119
Harvey, Warwick; Stuckey, Peter J.
4
2003
ACD term rewriting. Zbl 1131.68374
Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian
4
2006
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
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
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
4
2004
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
2013
\(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
3
2015
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
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
Propagation redundancy in redundant modelling. Zbl 1273.68340
Choi, Chiu Wo; Lee, Jimmy Ho Man; Stuckey, Peter J.
3
2003
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
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
Removing node overlapping in graph layout using constrained optimization. Zbl 1039.68121
Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing
3
2003
Local rapid learning for integer programs. Zbl 07116686
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob
3
2019
\(\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
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
3
2014
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
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
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
3
2018
Transforming normal logic programs to constraint logic programs. Zbl 0757.68029
Kanchanasut, Kanchana; Stuckey, Peter J.
2
1992
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
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
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
Solving disjunctive constraints for interactive graphical applications. Zbl 1067.68652
Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan
2
2001
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
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
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
Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models. Zbl 0883.68025
Stuckey, Peter J.; Sudarshan, S.
2
1997
Solver independent rotating workforce scheduling. Zbl 06982409
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
2
2018
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
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; 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
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
2
2014
A complete solution to the maximum density still life problem. Zbl 1251.68197
Chu, Geoffrey; Stuckey, Peter J.
2
2012
Stable model semantics for founded bounds. Zbl 1286.68038
Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J.
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
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
2
2018
Automatic minimal-height table layout. Zbl 1328.90120
Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.
1
2015
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
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
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004
On inductive inference of cyclic structures. Zbl 0855.68023
Maher, Michael J.; Stuckey, Peter J.
1
1995
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
Optimizing compilation of constraint handling rules. Zbl 1053.68533
Holzbaur, Christian; García de la Banda, María; Jeffery, David; Stuckey, Peter J.
1
2001
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
1
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.
1
2020
Dashed strings for string constraint solving. Zbl 07382222
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
1
2020
Core-boosted linear search for incomplete MaxSAT. Zbl 07116684
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J.
5
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
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; 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
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.
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
3
2018
Solver independent rotating workforce scheduling. Zbl 06982409
Musliu, Nysret; Schutt, Andreas; Stuckey, Peter J.
2
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
2
2018
Propagating lex, find and replace with dashed strings. Zbl 06982381
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.
5
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
MiniZinc with strings. Zbl 06791219
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 06807238
Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
1
2017
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
On CNF encodings of decision diagrams. Zbl 1475.68331
Abío, Ignasi; Gange, Graeme; Mayer-Eichberger, Valentin; Stuckey, Peter J.
1
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
Lazy model expansion: interleaving grounding with search. Zbl 1323.68464
De Cat, Broes; Denecker, Marc; Bruynooghe, Maurice; Stuckey, Peter
5
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.
5
2015
\(\#{\exists}\mathrm{SAT}\): projected model counting. Zbl 1471.68174
Aziz, Rehan Abdul; Chu, Geoffrey; Muise, Christian; Stuckey, Peter
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
Dominance breaking constraints. Zbl 1316.90025
Chu, Geoffrey; 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.
3
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.
2
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.
11
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.
7
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.
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.
2
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.
13
2011
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
5
2011
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
5
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
5
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.
8
2010
Rapid learning for binary programs. Zbl 1285.68151
Berthold, Timo; Feydy, Thibaut; Stuckey, Peter J.
6
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
Lazy clause generation: combining the power of SAT and CP (and MIP?) solving. Zbl 1285.68166
Stuckey, Peter J.
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
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
36
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
22
2008
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
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
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
\(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021
Sulzmann, Martin; 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.
7
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
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
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.
4
2006
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
4
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
Type processing by constraint reasoning. Zbl 1168.68366
Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy
1
2006
Automatic implication checking for CHR constraints. Zbl 1276.68043
Schrijvers, Tom; Demoen, Bart; Duck, Gregory; Stuckey, Peter; Frühwirth, Thom
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
7
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.
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
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
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004
Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005
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
...and 31 more Documents
all top 5

Cited by 869 Authors

35 Stuckey, Peter James
14 Schrijvers, Tom
8 Codish, Michael
8 Gange, Graeme
7 Demoen, Bart
7 Hermenegildo, Manuel V.
6 Berthold, Timo
6 Frühwirth, Thom
6 Garcia de la Banda, Maria
6 Tack, Guido
6 Van Hentenryck, Pascal
6 Wallace, Mark G.
5 De Koninck, Leslie
5 Flener, Pierre
5 Gabbrielli, Maurizio
5 Gallagher, John P.
5 King, Andy
5 Lee, Jimmy Ho-man
5 Marques-Silva, João P.
5 Mesnard, Fred
5 Pearson, Justin
5 Schachte, Peter
5 Schütt, Andreas
5 Sulzmann, Martin
4 Carlsson, Mats
4 Chu, Geoffrey
4 Duck, Gregory J.
4 Heinz, Stefan
4 Hooker, John N. jun.
4 Kafle, Bishoksan
4 Middeldorp, Aart
4 Miguel, Ian
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 Albert, Elvira
3 Amadini, Roberto
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 Feydy, Thibaut
3 Frank, Michael
3 Furini, Fabio
3 Hebrard, Emmanuel
3 Hirokawa, Nao
3 Komendantskaya, Ekaterina
3 Kreter, Stefan
3 Law, Yat Chiu
3 Leone, Nicola
3 Lierler, Yuliya
3 Lynce, Inês
3 Maher, Michael J.
3 Marriott, Kim
3 Mears, Christopher
3 Meo, Maria Chiara
3 Michel, Laurent
3 Nightingale, Peter W.
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 Swift, Terrance
3 Walsh, Toby
3 Warren, David Scott
3 Zimmermann, Jürgen
2 Akgün, Özgür
2 Alviano, Mario
2 Amato, Gianluca
2 Ancona, Davide
2 Arceri, Vincenzo
2 Arias, Joaquin
2 Artigues, Christian
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 Bogaerts, Bart
2 Brand, Sebastian
2 Brauer, Jörg
2 Bruynooghe, Maurice
...and 769 more Authors
all top 5

Cited in 78 Serials

54 Constraints
53 Theory and Practice of Logic Programming
24 Artificial Intelligence
22 European Journal of Operational Research
20 Theoretical Computer Science
12 Annals of Mathematics and Artificial Intelligence
9 Computers & Operations Research
9 Mathematical Programming Computation
8 Journal of Automated Reasoning
7 Annals of Operations Research
7 Journal of Functional Programming
7 INFORMS Journal on Computing
7 Journal of Scheduling
7 Higher-Order and Symbolic Computation
6 Information and Computation
5 New Generation Computing
4 Journal of Computer and System Sciences
4 The Journal of Artificial Intelligence Research (JAIR)
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
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 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 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
1 SN Operations Research Forum

Citations by Year