Travelled to:1 × Cyprus
1 × United Kingdom
2 × USA
Collaborated with:O.Maler ∅ C.L.Guernic J.Legriel G.Frehse A.Donzé R.Ray O.Lebeltel R.Ripado A.Girard T.Dang
Talks about:constraint (1) techniqu (1) criteria (1) approxim (1) scalabl (1) resolut (1) problem (1) flexibl (1) system (1) propag (1)
Person: Scott Cotton
DBLP: Cotton:Scott
Contributed to:
2011
2010
20102006Wrote 4 papers:
- CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
- SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
- SAT-2010-Cotton #proving
- Two Techniques for Minimizing Resolution Proofs (SC), pp. 306–312.
- TACAS-2010-LegrielGCM #approximate #multi #optimisation #problem
- Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
- SAT-2006-CottonM #constraints #difference #flexibility #performance
- Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.