Edit Profile (opens in new tab) Schachte, Peter Co-Author Distance Author ID: schachte.peter Published as: Schachte, Peter; Schachte, P. Documents Indexed: 26 Publications since 1995 Co-Authors: 22 Co-Authors with 23 Joint Publications 302 Co-Co-Authors all top 5 Co-Authors 3 single-authored 17 Søndergaard, Harald 16 Stuckey, Peter James 15 Gange, Graeme 7 Navas, Jorge A. 3 de Uña, Diego 3 Kafle, Bishoksan 2 Henshall, Kevin 2 Whiting, Leigh 1 Amadini, Roberto 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 5 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 25 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 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 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 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 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 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 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 Weighted spanning tree constraint with explanations. Zbl 1475.68339 de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 2 2016 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 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 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 12 Serials 10 Theory and Practice of Logic Programming 6 Theoretical Computer Science 4 Information and Computation 3 Formal Methods in System Design 2 Artificial Intelligence 2 Constraints 1 Information Processing Letters 1 International Journal of Foundations of Computer Science 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 44 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