Bibliografia

Principal

• Handbook of Satisfiability, 2nd Edition, IOS Press: Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh 2021 várias

Secundária

Não foi definida bibliografia secundária