Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662504963, 9783662504970

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Propositional to Quantifier-Free Theories

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_3 ◽

2016 ◽

pp. 59-76

Author(s):

Daniel Kroening ◽

Ofer Strichman

Download Full-text

Pointer Logic

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_8 ◽

2016 ◽

pp. 173-198

Author(s):

Daniel Kroening ◽

Ofer Strichman

Keyword(s):

Pointer Logic

Download Full-text

Decision Procedures for Propositional Logic

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_2 ◽

2016 ◽

pp. 27-58 ◽

Cited By ~ 1

Author(s):

Daniel Kroening ◽

Ofer Strichman

Keyword(s):

Propositional Logic ◽

Decision Procedures

Download Full-text

Propositional Encodings

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_11 ◽

2016 ◽

pp. 245-280

Author(s):

Daniel Kroening ◽

Ofer Strichman

Download Full-text

Deciding a Combination of Theories

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_10 ◽

2016 ◽

pp. 229-244

Author(s):

Daniel Kroening ◽

Ofer Strichman

Keyword(s):

Combination Of Theories

Download Full-text

Introduction and Basic concepts

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_1 ◽

2016 ◽

pp. 1-25

Author(s):

Daniel Kroening ◽

Ofer Strichman

Keyword(s):

Basic Concepts

Download Full-text

Quantified Formulas

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_9 ◽

2016 ◽

pp. 199-227

Author(s):

Daniel Kroening ◽

Ofer Strichman

Download Full-text

Arrays

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_7 ◽

2016 ◽

pp. 157-172

Author(s):

Daniel Kroening ◽

Ofer Strichman

Download Full-text

Applications in Software Engineering and Computational Biology

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_12 ◽

2016 ◽

pp. 281-307

Author(s):

Daniel Kroening ◽

Ofer Strichman

Keyword(s):

Software Engineering ◽

Computational Biology

Download Full-text

Bit Vectors

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-662-50497-0_6 ◽

2016 ◽

pp. 135-156

Author(s):

Daniel Kroening ◽

Ofer Strichman

Download Full-text

Decision Procedures - Texts in Theoretical Computer Science. An EATCS SeriesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

From Propositional to Quantifier-Free Theories

Pointer Logic

Decision Procedures for Propositional Logic

Propositional Encodings

Deciding a Combination of Theories

Introduction and Basic concepts

Quantified Formulas

Arrays

Applications in Software Engineering and Computational Biology

Bit Vectors

Decision Procedures - Texts in Theoretical Computer Science. An EATCS Series
Latest Publications