Statistics
Publications
5
Citations
138
H-Index
5
Active since
2006
Affiliations
University of Freiburg(Current)
Florian Pigorsch is an author at University of Freiburg specializing in computer science, computing, and automated reasoning.
Publications per year
2006–2011
5
5
Exploiting structure in an AIG based QBF solver
Florian Pigorsch, Christoph Scholl · 2009 · 37 citations
An AIG-Based QBF-solver using SAT for preprocessing
Florian Pigorsch, Christoph Scholl · 2010 · 36 citations
Exploiting structure in an AIG based QBF solver
Florian Pigorsch, Christoph Scholl · 2009 · 19 citations
1–5 of 5