Bibliografia

Principal

• Handbook of Satisfiability: A. Biere, H. van Maaren, T. Walsh Eds. 2008 IOS Press

Secundária

Não foi definida bibliografia secundária