search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 236, SAT 2022, Complete Volume

LIPIcs, Volume 236, SAT 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 25th International Conference on Theory and Applications of Satisfiability Testing
SAT 2022 : August 2 - 5, 2022, Haifa, Israel
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 236
Media group: LIPIcs
Cover von Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13 - 15, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10629
Media group: MONOGRAPHIE
Cover von Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, Edinburgh, UK, July 11 - 14, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6175
Media group: MONOGRAPHIE
Cover von Decision procedures
an algorithmic point of view
Author: Kröning, Daniel; Strichman, Ofer Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Program Equivalence; 4
pp. 1-19
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0