Florian Lonsing Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2009

2 EE Florian Lonsing, Armin Biere: A Compact Representation for Syntactic Dependencies in QBFs. SAT 2009: 398-411

2008

1 EE Florian Lonsing, Armin Biere: Nenofex: Expanding NNF for QBF Solving. SAT 2008: 196-210

*	2009
2	EE	Florian Lonsing, Armin Biere: A Compact Representation for Syntactic Dependencies in QBFs. SAT 2009: 398-411
	2008
1	EE	Florian Lonsing, Armin Biere: Nenofex: Expanding NNF for QBF Solving. SAT 2008: 196-210

Coauthor Index

1 Armin Biere [1] [2]