Sledovat
Stephan Schulz
Stephan Schulz
Professor of Computer Science, DHBW Stuttgart
E-mailová adresa ověřena na: eprover.org - Domovská stránka
Název
Citace
Citace
Rok
E–a brainiac theorem prover
S Schulz
Ai Communications 15 (2-3), 111-126, 2002
6932002
System description: E 1.8
S Schulz
International Conference on Logic for Programming Artificial Intelligence …, 2013
3442013
Faster, higher, stronger: E 2.3
S Schulz, S Cruanes, P Vukmirović
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
1922019
New results on rewrite-based satisfiability procedures
A Armando, MP Bonacina, S Ranise, S Schulz
ACM Transactions on Computational Logic (TOCL) 10 (1), 1-51, 2009
1282009
System description: E 0.81
S Schulz
International Joint Conference on Automated Reasoning, 223-228, 2004
1132004
Discount-a distributed and learning equational prover
J Denzinger, M Kronenburg, S Schulz
Journal of Automated Reasoning 18, 189-198, 1997
1091997
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
Journal of Automated Reasoning 35 (1), 265-293, 2005
1042005
Restricting backtracking in connection calculi
B Konev, RA Schmidt, S Schulz, J Otten
Ai Communications 23 (2-3), 159-182, 2010
1002010
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
952005
The TPTP typed first-order form with arithmetic
G Sutcliffe, S Schulz, K Claessen, P Baumgartner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
922012
TSTP data-exchange formats for automated theorem proving tools
G Sutcliffe, J Zimmer, S Schulz
Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004
842004
Using the TPTP language for writing derivations and finite interpretations
G Sutcliffe, S Schulz, K Claessen, A Van Gelder
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
822006
The mathsat 3 system
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
802005
Simple and efficient clause subsumption with feature vector indexing
S Schulz
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune …, 2013
772013
Performance of clause selection heuristics for saturation-based theorem proving
S Schulz, M Möhrmann
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
762016
Learning domain knowledge to improve theorem proving
J Denzinger, S Schulz
International Conference on Automated Deduction, 62-76, 1996
601996
System abstract: E 0.61
S Schulz
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
592001
An application of automated reasoning in natural language question answering
B Konev, RA Schmidt, S Schulz, U Furbach, I Glöckner, B Pelzer
Ai Communications 23 (2-3), 241-265, 2010
572010
Extending a brainiac prover to lambda-free higher-order logic
P Vukmirović, J Blanchette, S Cruanes, S Schulz
International Journal on Software Tools for Technology Transfer 24 (1), 67-87, 2022
532022
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
A Armando, MP Bonacina, S Ranise, S Schulz
International Workshop on Frontiers of Combining Systems, 65-80, 2005
512005
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20