Sökning: "Hendrik Bierlee"

Hittade 1 uppsats innehållade orden Hendrik Bierlee.

  1. 1. The MiniZinc-SAT Compiler

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Hendrik Bierlee; [2021]
    Nyckelord :;

    Sammanfattning : 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