Full name Familienname, Vorname

Bacchus, Fahiem

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina	Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination	Konferenzbeitrag Inproceedings	2015

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin	Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?	Konferenzbeitrag Inproceedings	2017