An exact combinatorial algorithm for the Maximum Clique Problem 

An exact combinatorial algorithm for Binary Constraint Satisfaction Problems

An exact combinatorial algorithm for the Knapsack Problem with Conflicts

An exact combinatorial algorithm for the edge-weighted Maximum Clique Problem 

An exact branch-and-Benders-cut algorithm for Maximal Covering Location and Partial Set Covering Location Problems

An exact branch-and-cut algorithm for maximizing a class of covering submodular utility functions

An exact branch-and-price algorithm for the k-vertex cut problem

An exact solution framework for two-dimensional knapsack problems