Concepedia
1
Publications
320
Citations
H-Index
1995
Active since
Affiliations
University of Bonn(Current)
Andreas Flögel is an author at University of Bonn specializing in automated reasoning, satisfiability, and engineering.
Top concepts
EngineeringFormal MethodsSatisfiabilityComputer ScienceAutomated Reasoning
Publications per year
1995–1995
Resolution for Quantified Boolean Formulas
Hans Kleine Büning, Marek Karpiński, Andreas Flögel · Information and Computation · 1995 · 320 citations
Quantified Boolean Formulas, Engineering, Boolean Function +5
Rows per page
1–1 of 1