PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pigorsch, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Enhanced Integration of QBF Solving Techniques.

, , , and . MBMV, page 133-143. Verlag Dr. Kovac, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Florian Weiss

PD Dr. -Ing. Florian Bauer University of Stuttgart

Florian Helber University of Stuttgart

Florian Seibold University of Stuttgart

Florian Reichelt University of Stuttgart

 

Other publications of authors with the same name

Using Implications for Optimizing State Set Representations of Linear Hybrid Systems., and . MBMV, page 77-86. Universitätsbibliothek Berlin, Germany, (2009)Enhanced Integration of QBF Solving Techniques., , , and . MBMV, page 133-143. Verlag Dr. Kovac, (2012)Lemma localization: a practical method for downsizing SMT-interpolants., and . DATE, page 1405-1410. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Integration of orthogonal QBF solving techniques., , , and . DATE, page 149-154. IEEE, (2011)Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling., , and . FMCAD, page 89-96. IEEE Computer Society, (2006)Exploiting structure in an AIG based QBF solver., and . DATE, page 1596-1601. IEEE, (2009)Simple interpolants for linear arithmetic., , , and . DATE, page 1-6. European Design and Automation Association, (2014)Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space., , , , , , , , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 425-440. Springer, (2007)Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces., , , , , , , and . Sci. Comput. Program., 77 (10-11): 1122-1150 (2012)Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints., , , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 383-397. Springer, (2009)