2 × United Kingdom
C.Miller M.D.T.Lewis B.Becker C.Scholl S.Disch F.Pigorsch
constraint (1) represent (1) polyhedra (1) incomplet (1) techniqu (1) interpol (1) redund (1) linear (1) detect (1) design (1)
Person: Stefan Kupferschmid
Wrote 2 papers:
- SAT-2010-MillerKLB #bound #design #encoding #model checking
- Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.
- 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.