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
0 Abstract high-level framwork for #SAT Nov 4 '15