Stephan Schulz
Stephan Schulz
Professor of Computer Science, DHBW Stuttgart
Verifierad e-postadress på eprover.org - Startsida
Titel
Citeras av
Citeras av
År
E–a brainiac theorem prover
S Schulz
Ai Communications 15 (2, 3), 111-126, 2002
6082002
System description: E 1.8
S Schulz
International Conference on Logic for Programming Artificial Intelligence …, 2013
2942013
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
1242009
System description: E 0.81
S Schulz
International Joint Conference on Automated Reasoning, 223-228, 2004
1202004
Discount-a distributed and learning equational prover
J Denzinger, M Kronenburg, S Schulz
Journal of Automated Reasoning 18 (2), 189-198, 1997
1011997
M ath SAT: 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
982005
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, ...
International Conference on Tools and Algorithms for the Construction and …, 2005
902005
Using the TPTP language for writing derivations and finite interpretations
G Sutcliffe, S Schulz, K Claessen, A Van Gelder
International Joint Conference on Automated Reasoning, 67-81, 2006
782006
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
752004
The TPTP typed first-order form with arithmetic
G Sutcliffe, S Schulz, K Claessen, P Baumgartner
International Conference on Logic for Programming Artificial Intelligence …, 2012
742012
The mathsat 3 system
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Automated Deduction, 315-321, 2005
722005
Recording and analysing knowledge-based distributed deduction processes
J Denzinger, S Schulz
Journal of Symbolic Computation 21 (4-6), 523-541, 1996
591996
Simple and efficient clause subsumption with feature vector indexing
S Schulz
Automated Reasoning and Mathematics, 45-67, 2013
542013
System abstract: E 0.61
S Schulz
International Joint Conference on Automated Reasoning, 370-375, 2001
542001
Faster, higher, stronger: E 2.3
S Schulz, S Cruanes, P Vukmirović
International Conference on Automated Deduction, 495-507, 2019
522019
Learning domain knowledge to improve theorem proving
J Denzinger, S Schulz
International Conference on Automated Deduction, 62-76, 1996
511996
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
502005
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.
S Schulz
FLAIRS Conference, 72-76, 2002
452002
Learning search control knowledge for equational theorem proving
S Schulz
Annual Conference on Artificial Intelligence, 320-334, 2001
442001
Learning search control knowledge for equational deduction. Number 230 in DISKI
S Schulz
Akademische Verlagsgesellschaft Aka GmbH Berlin, 2000
442000
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20