I am a computer programmer. Knowledge representation and algorithmic complexity are my main interests.
12 What is the precise definition of Random K-SAT? dec 21 '11
9 Starting SAT solver papers dec 28 '11
7 How do I use canonical ordering to reduce symmetry in the SAT encoding of the pigeonhole problem? apr 4 '13
5 Conversion between k-SAT and XOR-SAT nov 10 '14
4 Eliminating clauses from a CNF formula based on their unsatisfying truth assignments being covered by some other clause mar 11 '13