SAT-solving in practice Koen Claessen, Niklas Een, Mary Sheeran and Niklas S¨orensson Abstract— Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such

First Page		Document Content
Date: 2012-04-25 07:47:00		SAT-solving in practice Koen Claessen, Niklas Een, Mary Sheeran and Niklas S¨orensson Abstract— Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 140,76 KB Share Document on Facebook