| |
| 2006 | ||
|---|---|---|
| 3 | EE | Scott Cotton, Oded Maler: Fast and Flexible Difference Constraint Propagation for DPLL(T). SAT 2006: 170-183 |
| 2004 | ||
| 2 | EE | Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert: Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276 |
| 2002 | ||
| 1 | EE | Scott Cotton, Steven Bird: An Integrated Framework for Treebanks and Multilayer Annotations CoRR cs.CL/0204007: (2002) |
| 1 | Eugene Asarin | [2] |
| 2 | Steven Bird | [1] |
| 3 | Oded Maler | [2] [3] |
| 4 | Peter Niebert | [2] |