Searched for: +
(1 - 4 of 4)
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
document
Lotgering, T.F. (author), Mijnders, S. (author)
The final report for our Bachelor project at Tygron Serious Gaming.
bachelor thesis 2009
document
Mijnders, S. (author), Lotgering, T. (author)
Final report of our bachelor project commissioned by Tygron.
bachelor thesis 2009
document
De Koning, J.S. (author), Mijnders, M. (author)
In Nederland wonen veel mensen op een relatief klein gebied. Dit leidt er toe dat we zuinig met de ruimte om moeten gaan. Landschapsplanning, structuurplannen, de Vierde Nota voor de Ruimtelijke Ordening zijn veelgehoorde termen. sinds een aantal jaren is daar een nieuwe term bij gekomen: de Beleidsvisie Recreatietoervaart Nederland. Hierin...
master thesis 1992
Searched for: +
(1 - 4 of 4)