×
Author ID: schachte.peter Recent zbMATH articles by "Schachte, Peter"
Published as: Schachte, Peter; Schachte, P.
Documents Indexed: 26 Publications since 1995
Co-Authors: 22 Co-Authors with 23 Joint Publications
296 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 51 times in 46 Documents Cited by Year
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
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.
7
2015
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.
6
2018
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2013
Reference abstract domains and applications to string analysis. Zbl 1386.68031
Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi
4
2018
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
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
Weighted spanning tree constraint with explanations. Zbl 1475.68339
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
2016
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J.
2
2006
Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
2019
An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024
Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh
1
2010
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
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
Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291
Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin
1
2010
Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
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.
6
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
4
2018
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
An abstract domain of uninterpreted functions. Zbl 1475.68086
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
Exploiting sparsity in difference-bound matrices. Zbl 1394.68074
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
3
2016
Weighted spanning tree constraint with explanations. Zbl 1475.68339
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
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.
7
2015
Failure tabled constraint logic programming by interpolation. Zbl 1286.68043
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2013
Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162
Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter
3
2013
Solving difference constraints over modular arithmetic. Zbl 1381.68267
Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter
1
2013
An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024
Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh
1
2010
Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291
Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin
1
2010
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J.
2
2006
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
all top 5

Cited by 89 Authors

5 Schachte, Peter
5 Søndergaard, Harald
4 Gallagher, John P.
4 Gange, Graeme
4 King, Andy
4 Stuckey, Peter James
3 Hermenegildo, Manuel V.
3 Kafle, Bishoksan
3 Vidal, Germán
2 Arceri, Vincenzo
2 Arias, Joaquin
2 Bagnara, Roberto
2 Carro, Manuel
2 Chawdhary, Aziem
2 Cortesi, Agostino
2 De Angelis, Emanuele
2 Fioravanti, Fabio
2 Hill, Patricia M.
2 Howe, Jacob M.
2 Navas, Jorge A.
2 Olliaro, Martina
2 Payet, Étienne
2 Pettorossi, Alberto
2 Proietti, Maurizio
2 Ranzato, Francesco
2 Spoto, Fausto
2 Vanhoof, Wim
2 Yernaux, Gonzague
2 Zaffanella, Enea
1 Ackley, Elena S.
1 Albert, Elvira
1 Amadini, Roberto
1 Beck, J. Christopher
1 Bofill, Miquel
1 Borralleras, Cristina
1 Cassez, Franck
1 Castro, Margarita Paz
1 Chakraborty, Supratik
1 Ciré, André Augusto
1 Codish, Michael
1 de Uña, Diego
1 Delaite, Antoine
1 Dietsch, Daniel
1 Doménech, Jesús J.
1 Falaschi, Moreno
1 Ferrara, Pietro
1 Filé, Gilberto
1 Flener, Pierre
1 Forrest, Stephanie
1 Genaim, Samir
1 Giacobazzi, Roberto
1 Gori, Roberta
1 Guldstrand, Larsen Kim
1 Heizmann, Matthias
1 Henshall, Kevin
1 Herlihy, Brian
1 Hoenicke, Jochen
1 Hooker, John N. jun.
1 Jensen, Peter Gjøl
1 John, Ajith K.
1 Klemen, Maximiliano
1 Kučera, Petr
1 Leuschel, Michael
1 Levi, Giorgio
1 López-García, Pedro
1 Marchiori, Elena
1 Marques-Silva, João P.
1 Martin-Martin, Enrique
1 Mastroeni, Isabella
1 Mencía, Carlos
1 Mesnard, Fred
1 Morales, Jose Francisco
1 Nutz, Alexander
1 Olarte, Carlos
1 Palacios, Adrian G.
1 Palamidessi, Catuscia
1 Pearson, Justin
1 Pesant, Gilles
1 Podelski, Andreas
1 Previti, Alessandro
1 Reps, Thomas W.
1 Rubio, Albert
1 Savický, Petr
1 Schulte, Christian
1 Scott, Joseph D.
1 Sharma, Tushar
1 Simon, Axel
1 Trias, Eric
1 Whiting, Leigh

Citations by Year