Sökning: "Hendrik Bierlee"
Hittade 1 uppsats innehållade orden Hendrik Bierlee.
1. The MiniZinc-SAT Compiler
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Combinatorial (optimization) problems occur in nature and society. Constraint modeling languages such as MiniZinc allow the user to declaratively specify such problems in terms of its decision variables and constraints. Subsequently, the MiniZinc model can be compiled into an equivalent (Boolean) SAT formula to be solved by a SAT solver. LÄS MER
Resultatsidor:
1