<div class="csl-bib-body">
<div class="csl-entry">Rebola Pardo, A. (2022). Interpolants and Interference. In M. Benedikt, P. Rümmer, & C. Wernhard (Eds.), <i>iPRA 2022 : The 4th Workshop on Interpolation: From Proofs to Applications : Book of Abstracts</i> (pp. 27–35). http://hdl.handle.net/20.500.12708/198885</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/198885
-
dc.description.abstract
Interference-based proof systems are necessary for proof generation in inprocessing SAT solvers. Unfortunately, their structure and semantic invariants are incompatible with standard recursive interpolant systems. Recent research on interference connects it with inference in more expressive logics. This circumvents some of the roadblocks in the quest for interpolant extraction from interference-based proofs, but also raises questions about the applicability of unfeasibility results in this setting.
en
dc.description.sponsorship
FWF
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.subject
Interference Proofs
en
dc.subject
Craig interpolation
en
dc.subject
SAT solving
en
dc.title
Interpolants and Interference
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.editoraffiliation
University of Oxford, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.editoraffiliation
University of Regensburg, Germany
-
dc.contributor.editoraffiliation
University of Potsdam, Germany
-
dc.description.startpage
27
-
dc.description.endpage
35
-
dc.relation.grantno
W1255-N23
-
dc.relation.grantno
VRG11-005
-
dc.type.category
Abstract Book Contribution
-
tuw.booktitle
iPRA 2022 : The 4th Workshop on Interpolation: From Proofs to Applications : Book of Abstracts
-
tuw.project.title
LogiCs-Stipendien
-
tuw.project.title
Heisenbugs: Auffindung und Erklärung
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
dc.description.numberOfPages
9
-
tuw.author.orcid
0000-0001-9234-4377
-
tuw.event.name
iPRA 2022 - The 4th Workshop on Interpolation: From Proofs to Applications
en
dc.description.sponsorshipexternal
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.relation.grantnoexternal
ICT15-103
-
tuw.event.startdate
11-08-2022
-
tuw.event.enddate
11-08-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Haifa
-
tuw.event.country
IL
-
tuw.event.presenter
Rebola Pardo, Adrian
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.grantfulltext
restricted
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
crisitem.project.grantno
VRG11-005
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
