Examining classical graph-theory problems from the viewpoint of formal-verification methods (invited talk).

Orna Kupferman

Browse the full STOC paper archive.