„MAX-SAT encoding“

Suchergebnisse

1 Treffer

• Encoding Hard String Problems with Answer Set Programming
  Köppl, Dominik 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik