Weidenbach, Christoph: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Blanchette, Jasmin Christian, Fleury, Mathias, Lammich, Peter, Weidenbach, Christoph

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 720 KB

english, 2018

2

Unification in sort theories and its applications

Christoph Weidenbach

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 2.02 MB

english, 1996

3

Preface to the Special Issue on Automated Reasoning Systems

Biere, Armin, Tinelli, Cesare, Weidenbach, Christoph

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 178 KB

english, 2019

4

A note on assumptions about Skolem functions

Hans Jürgen Ohlbach, Christoph Weidenbach

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 617 KB

english, 1995

5

Labelled splitting

Arnaud Fietzke, Christoph Weidenbach

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 569 KB

english, 2009

6

SPASS - Version 0.49

Christoph Weidenbach

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 59 KB

english, 1997

7

Handbook of Automated Reasoning || Combining Superposition, Sorts and Splitting

Weidenbach, Christoph

Year:

2001

Language:

english

File:

PDF, 2.63 MB

english, 2001

8

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Kruglov, Evgeny, Weidenbach, Christoph

Journal:

Mathematics in Computer Science

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

9

Superposition as a Decision Procedure for Timed Automata

Fietzke, Arnaud, Weidenbach, Christoph

Journal:

Mathematics in Computer Science

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

10

675 Autoimmune hepatitis and pregnancy: Course of disease and outcome of pregnancies

Christoph Schramm, Stephan Kanzler, Hans Weidenbach, Peter R. Galle, Ansgar W. Lohse

Journal:

Year:

2003

Language:

english

File:

PDF, 144 KB

english, 2003

11

[Lecture Notes in Computer Science] Programming Logics Volume 7797 ||

Voronkov, Andrei, Weidenbach, Christoph

Year:

2013

Language:

english

File:

PDF, 5.13 MB

english, 2013

12

[Lecture Notes in Computer Science] Automated Reasoning Volume 8562 || QBF Encoding of Temporal Properties and QBF-Based Verification

Demri, Stéphane, Kapur, Deepak, Weidenbach, Christoph

Year:

2014

Language:

english

File:

PDF, 251 KB

english, 2014

13

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Automated verification of interactive rule-based configuration systems

Dhungana, Deepak, Tang, Ching Hoo, Weidenbach, Christoph, Wischnewski, Patrick

Year:

2013

Language:

english

File:

PDF, 497 KB

english, 2013

14

Induction of IκB-Kinase by Cholecystokinin Is Mediated by Trypsinogen Activation in Rat Pancreatic Lobules

Tando, Yusuke, Alg&uuml, l, Hana, Schneider, G&uuml, nter, Weber, Christoph K., Weidenbach, Hans, Adler, Guido, Schmid, Roland M.

Journal:

Year:

2002

Language:

english

File:

PDF, 155 KB

english, 2002

15

First-Order Tableaux with Sorts

WEIDENBACH, CHRISTOPH

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 1.01 MB

english, 1995

16

Superposition for fixed domains

Horbach, Matthias, Weidenbach, Christoph

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 305 KB

english, 2010

17

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Deciding First-Order Satisfiability when Universal and Existential Variables are Separated

Sturm, Thomas, Voigt, Marco, Weidenbach, Christoph

Year:

2016

Language:

english

File:

PDF, 346 KB

english, 2016

18

Preface

Stéphane Demri,Deepak Kapur,Christoph Weidenbach

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 314 KB

english, 2017

19

InGaN solar cells with regrown GaN homojunction tunnel contacts

Vadiee, Ehsan, Clinton, Evan A., McFavilen, Heather, Weidenbach, Alex S., Engel, Zachary, Matthews, Christopher, Zhang, Chaomin, Arena, Chantal, King, Richard R., Honsberg, Christiana B., Doolittle, W

Journal:

Applied Physics Express

Year:

2018

Language:

english

File:

PDF, 1021 KB

english, 2018

20

Extent and reasons for nonadherence to antihypertensive, cholesterol, and diabetes medications: the association with depressive symptom burden in a sample of American veterans

Weidenbacher, Hollis, Beadles, Christopher, Maciejewski, Matthew, Reeve, Bryce, Voils, Corrine

Journal:

Patient Preference and Adherence

Year:

2015

Language:

english

File:

PDF, 578 KB

english, 2015

21

A complete and terminating approach to linear integer solving

Bromberger, Martin, Sturm, Thomas, Weidenbach, Christoph

Journal:

Journal of Symbolic Computation

Year:

2019

Language:

english

File:

PDF, 1.69 MB

english, 2019

22

SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment

Teucke, Andreas, Weidenbach, Christoph

Journal:

Journal of Automated Reasoning

Year:

2020

File:

PDF, 452 KB

2020