Scott Cotton

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

Coauthor Index

1	Eugene Asarin	[2]
2	Steven Bird	[1]
3	Oded Maler	[2] [3]
4	Peter Niebert	[2]

Colors in the list of coauthors