Florian Lonsing

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

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

2008

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

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

Coauthor Index

1 Armin Biere [1] [2]