Theory and Applications of Satisfiability Testing – SAT 2021

Book title Buchtitel

Publisher Herausgeber

Springer

Place of publishing Erscheinungsort

12831

Series Schriftenreihe

Lecture Notes in Computer Science

Filter:

Author: Peitl, Tomáš

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Blinkhorn, Joshua ; Peitl, Tomáš ; Slivovsky, Friedrich	Davis and Putnam Meet Henkin: Solving DQBF with Resolution	Konferenzbeitrag Inproceedings	2021