Now showing items 1-1 of 1

    • Improving IntSat by expressing disjunctions of bounds as linear constraints 

      Asín Acha, Roberto Javier; Aloysius Bezem, Marcus; Nieuwenhuis, Robert Lukas Mario (2016)
      Restricted access - publisher's policy
      Conflict-Driven Clause Learning (CDCL) SAT solvers can automatically solve very large real-world problems. IntSat is a new technique extending CDCL to Integer Linear Programming (ILP). For some conflicts, IntSat generates ...