Edit Profile (opens in new tab) Schütz, Heribert Co-Author Distance Author ID: schutz.heribert Published as: Schütz, Heribert Documents Indexed: 8 Publications since 1988 Co-Authors: 2 Co-Authors with 3 Joint Publications 15 Co-Co-Authors Co-Authors 1 single-authored 2 Geisler, Tim 2 Rieger, Erik S. 1 Abdennadher, Slim Serials 1 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 1 Information and Computation 1 The European Physical Journal C. Particles and Fields Fields 4 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 3 Fluid mechanics (76-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ Model generation and existentially quantified variables and constraints. Zbl 0889.03010 Abdennadher, Slim; Schütz, Heribert 1 1997 Efficient model generation through compilation. Zbl 1045.68605 Schütz, Heribert; Geisler, Tim 1 2000 Linear derivative Cartan formulation of general relativity. Zbl 1191.83011 Kummer, W.; Schütz, H. 1 2005 Linear derivative Cartan formulation of general relativity. Zbl 1191.83011 Kummer, W.; Schütz, H. 1 2005 Efficient model generation through compilation. Zbl 1045.68605 Schütz, Heribert; Geisler, Tim 1 2000 Model generation and existentially quantified variables and constraints. Zbl 0889.03010 Abdennadher, Slim; Schütz, Heribert 1 1997 Cited by 4 Authors 1 Behrend, Andreas 1 Formisano, Andrea 1 Manthey, Rainer 1 Nicolosi Asmundo, Marianna Cited in 1 Serial 1 Journal of Applied Non-Classical Logics Cited in 2 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year