The geometric maximum traveling salesman problem.
Definable relations and first-order query languages over strings.
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra.
The performance of difference coding for sets and relational tables.
Counterexample-guided abstraction refinement for symbolic model checking.