A SAT instance:
Logic is the calculus of computer Science. The Logical Basis for Computer Programming Manna, Waldinger
Projects funded by the Spanish Ministry of Science and Education:
European projects: