Text this: Journal on satisfiability, Boolean modeling and computation.