Travelled to:1 × Germany
1 × United Kingdom
2 × USA
3 × France
Collaborated with:C.Scholl S.Disch G.Morbé E.Althaus S.Reimer B.Becker S.Kupferschmid
Talks about:qbf (3) interpol (2) solver (2) linear (2) base (2) aig (2) preprocess (1) constraint (1) represent (1) polyhedra (1)
Person: Florian Pigorsch
DBLP: Pigorsch:Florian
Contributed to:
20142013
20112011
20102009
2009Wrote 7 papers:
- DATE-2014-SchollPDA #linear
- Simple interpolants for linear arithmetic (CS, FP, SD, EA), pp. 1–6.
- DATE-2013-PigorschS #locality
- Lemma localization: a practical method for downsizing SMT-interpolants (FP, CS), pp. 1405–1410.
- CAV-2011-MorbePS #automaton #model checking
- Fully Symbolic Model Checking for Timed Automata (GM, FP, CS), pp. 616–632.
- DATE-2011-ReimerPSB #integration #orthogonal
- Integration of orthogonal QBF solving techniques (SR, FP, CS, BB), pp. 149–154.
- DAC-2010-PigorschS #preprocessor #satisfiability #using
- An AIG-Based QBF-solver using SAT for preprocessing (FP, CS), pp. 170–175.
- DATE-2009-PigorschS
- Exploiting structure in an AIG based QBF solver (FP, CS), pp. 1596–1601.
- TACAS-2009-SchollDPK #constraints #detection #linear
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.