Edit Profile (opens in new tab) Schachte, Peter Compute Distance To: Compute Author ID: schachte.peter Published as: Schachte, Peter; Schachte, P. Documents Indexed: 27 Publications since 1995 Co-Authors: 23 Co-Authors with 24 Joint Publications 284 Co-Co-Authors all top 5 Co-Authors 3 single-authored 18 Søndergaard, Harald 17 Stuckey, Peter James 16 Gange, Graeme 7 Navas, Jorge A. 3 Amadini, Roberto 3 de Uña, Diego 2 Henshall, Kevin 2 Kafle, Bishoksan 2 Whiting, Leigh 1 Andrlon, Mak 1 Armstrong, Tania 1 Bone, Paul 1 Codish, Michael 1 Cornish, J. Robert M. 1 Gallagher, John P. 1 Gauthier, Francois 1 Herlihy, Brian 1 Jordan, Alexander I. 1 Lagoon, Vitaly 1 Marriott, Kim 1 Saab, Georges 1 Somogyi, Zoltan 1 Zhang, Chenyi all top 5 Serials 4 Theory and Practice of Logic Programming 2 Theoretical Computer Science 1 Artificial Intelligence 1 Science of Computer Programming 1 International Journal of Foundations of Computer Science 1 Constraints 1 Chicago Journal of Theoretical Computer Science 1 Fundamenta Informaticae Fields 26 Computer science (68-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 46 times in 42 Documents Cited by ▼ Year ▼ Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 6 2015 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 3 2018 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 3 2013 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2019 Size-change termination analysis in \(k\)-bits. Zbl 1178.68149Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J. 2 2006 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 2 2019 Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin 1 2010 A Benders decomposition approach to deciding modular linear integer arithmetic. Zbl 1496.68193Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh 1 2010 Weighted spanning tree constraint with explanations. Zbl 1475.68339de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 1 2016 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 Constraint programming for dynamic symbolic execution of JavaScript. Zbl 07116682Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2019 Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 2 2019 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 3 2018 A Benders decomposition approach to deciding modular linear integer arithmetic. Zbl 1496.68193Kafle, Bishoksan; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 1 2017 Exploiting sparsity in difference-bound matrices. Zbl 1394.68074Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2016 An abstract domain of uninterpreted functions. Zbl 1475.68086Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 2 2016 Weighted spanning tree constraint with explanations. Zbl 1475.68339de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 1 2016 Horn clauses as an intermediate representation for program analysis and transformation. Zbl 1379.68089Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 6 2015 Unbounded model-checking with interpolation for regular language constraints. Zbl 1381.68162Gange, Graeme; Navas, Jorge A.; Stuckey, Peter J.; Søndergaard, Harald; Schachte, Peter 3 2013 Failure tabled constraint logic programming by interpolation. Zbl 1286.68043Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 3 2013 Solving difference constraints over modular arithmetic. Zbl 1381.68267Gange, Graeme; Søndergaard, Harald; Stuckey, Peter J.; Schachte, Peter 1 2013 Information loss in knowledge compilation: a comparison of Boolean envelopes. Zbl 1206.68291Schachte, Peter; Søndergaard, Harald; Whiting, Leigh; Henshall, Kevin 1 2010 An algorithm for affine approximation of binary decision diagrams. Zbl 1286.06024Henshall, Kevin; Schachte, Peter; Søndergaard, Harald; Whiting, Leigh 1 2010 Size-change termination analysis in \(k\)-bits. Zbl 1178.68149Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J. 2 2006 Two classes of Boolean functions for dependency analysis. Zbl 0942.68018Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald 11 1998 all cited Publications top 5 cited Publications all top 5 Cited by 86 Authors 4 King, Andy 4 Schachte, Peter 4 Søndergaard, Harald 3 Gallagher, John P. 3 Gange, Graeme 3 Stuckey, Peter James 3 Vidal, Germán 2 Amadini, Roberto 2 Arceri, Vincenzo 2 Arias, Joaquin 2 Bagnara, Roberto 2 Carro, Manuel 2 Chawdhary, Aziem 2 Cortesi, Agostino 2 Hermenegildo, Manuel V. 2 Hill, Patricia M. 2 Howe, Jacob M. 2 Kafle, Bishoksan 2 Navas, Jorge A. 2 Olliaro, Martina 2 Payet, Étienne 2 Ranzato, Francesco 2 Spoto, Fausto 2 Vanhoof, Wim 2 Yernaux, Gonzague 2 Zaffanella, Enea 1 Ackley, Elena S. 1 Albert, Elvira 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 Angelis, Emanuele 1 Delaite, Antoine 1 Dietsch, Daniel 1 Doménech, Jesús J. 1 Falaschi, Moreno 1 Ferrara, Pietro 1 Filé, Gilberto 1 Fioravanti, Fabio 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 Pettorossi, Alberto 1 Podelski, Andreas 1 Previti, Alessandro 1 Proietti, Maurizio 1 Rubio, Albert 1 Savický, Petr 1 Schulte, Christian 1 Scott, Joseph D. 1 Simon, Axel 1 Trias, Eric 1 Whiting, Leigh all top 5 Cited in 12 Serials 8 Theory and Practice of Logic Programming 6 Theoretical Computer Science 4 Information and Computation 2 Artificial Intelligence 2 Formal Methods in System Design 1 Information Processing Letters 1 International Journal of Foundations of Computer Science 1 Constraints 1 INFORMS Journal on Computing 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures all top 5 Cited in 6 Fields 40 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Numerical analysis (65-XX) Citations by Year