Searched for: department%3A%22Software%255C%252BTechnology%22
(1 - 1 of 1)
document
Mijnders, S. (author)
Minimal unsatis?ability is a topic in the ?eld of satis?ability (SAT). Minimally unsatis?able subformulae (MUSes) are minimal subsets of an unsatis?able formula that are unsatis?able. They can therefore be seen as causes of unsatis?ability. With recent improvements in SAT solving, extracting MUSes has also become faster. Lately increasingly more...
master thesis 2012