A 'satisfiability' based approach to integer programming. - Steven Michael Council (1999)