Email Record: Journal on satisfiability, Boolean modeling and computation.