Record link: 
http://hdl.handle.net/20.500.12708/54165
-
Title: 
Resolution-Based Certificate Extraction for QBF
-
Citation: 
Niemetz, A., Preiner, M., Lonsing, F., Seidl, M., & Biere, A. (2012). Resolution-Based Certificate Extraction for QBF. In A. Cimatti & R. Sebastiani (Eds.), Theory and Applications of Satisfiability Testing -- SAT 2012 (pp. 430–435). Springer LNCS. https://doi.org/10.1007/978-3-642-31612-8_33
-
Publisher DOI: 
10.1007/978-3-642-31612-8_33
-
Publication Type: 
Konferenzbeitrag - Full-Paper Contribution
de
 
Inproceedings - Full-Paper Contribution
en
Authors: 
Niemetz, Aina 
Preiner, Mathias 
Lonsing, Florian 
Seidl, Martina 
Biere, Armin 
-
Organisational Unit: 
E194-03 - Forschungsbereich Business Informatics 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Published in: 
Theory and Applications of Satisfiability Testing -- SAT 2012 
-
ISBN: 
978-3-642-31611-1
-
DOI of the book: 
10.1007/978-3-642-31612-8
-
Date (published): 
2012
-
Event name: 
Int. Conference on Theory and Applications of Satisfiability Testing 
-
Event date: 
17-Jun-2012 - 20-Jun-2012
-
Event place: 
Trento, EU
-
Number of Pages: 
6
-
Publisher: 
Springer LNCS, 7317
-
Publisher: 
Springer, Berlin, Heidelberg
-
Peer reviewed: 
Yes
-
Project title: 
FAME: Formalizing and Managing Evolution in Model-Driven Engineering (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

108
checked on Sep 1, 2023

Google ScholarTM

Check