Full name Familienname, Vorname

Schlaipfer, Matthias

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian	Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness	Konferenzbeitrag Inproceedings	2020
	2		Schlaipfer, Matthias ; Weissenbacher, Georg	Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs	Artikel Article	2016