<div class="csl-bib-body">
<div class="csl-entry">Niemetz, A., Preiner, M., Lonsing, F., Seidl, M., & Biere, A. (2012). Resolution-Based Certificate Extraction for QBF. In A. Cimatti & R. Sebastiani (Eds.), <i>Theory and Applications of Satisfiability Testing -- SAT 2012</i> (pp. 430–435). Springer LNCS. https://doi.org/10.1007/978-3-642-31612-8_33</div>
</div>
-
dc.identifier.isbn
9783642316111
-
dc.identifier.isbn
9783642316128
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/54165
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.publisher
Springer LNCS
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Resolution-Based Certificate Extraction for QBF
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Theory and Applications of Satisfiability Testing -- SAT 2012
-
dc.relation.isbn
978-3-642-31611-1
-
dc.relation.doi
10.1007/978-3-642-31612-8
-
dc.relation.issn
0302-9743
-
dc.description.startpage
430
-
dc.description.endpage
435
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
7317
-
tuw.booktitle
Theory and Applications of Satisfiability Testing -- SAT 2012
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.project.title
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-03 - Forschungsbereich Business Informatics
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publisher.doi
10.1007/978-3-642-31612-8_33
-
dc.description.numberOfPages
6
-
tuw.event.name
Int. Conference on Theory and Applications of Satisfiability Testing
-
tuw.event.startdate
17-06-2012
-
tuw.event.enddate
20-06-2012
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Trento
-
tuw.event.place
Trento
-
tuw.event.country
EU
-
tuw.event.presenter
Niemetz, Aina
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.openairetype
Konferenzbeitrag
-
item.openairetype
Inproceedings
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
crisitem.project.grantno
ICT10-018
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme