The top documents tagged [propositional variables]
Esbmc Paper
15 views
SAT Encoding For Sudoku Puzzles
62 views
The Foundations: Logic and Proofs
12 views
MV logics and Gröbner bases
40 views