Standard 9x9 Sudoku Satisfiability Modeling

Propositional Logic

Truth Table Size: