Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

  • BSP - boolean satisfaction problem
  • SAT - satisfiability
  • CNF - conjugative normal form
  • term - a single bit of state with a unique address
  • clause - a logical boolean statement of several terms
  • expression - a set of clauses
  • minisat - my favorite SAT solver, avaible at
Mail: (not shown)

Please type this: