„CNF Encodings“

Suchergebnisse

7 Treffer

• Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
  Steinke, Peter ; Hölldobler, Steffen ; Biere, Armin 2020 Technische Universität Dresden
• CNF Encodings of Symmetric Functions
  Emdin, Gregory ; Kulikov, Alexander S. ; Mihajlin, Ivan ; Slezkin, Nikita
• QBF Programming with the Modeling Language Bule
  Jung, Jean Christoph ; Mayer-Eichberger, Valentin ; Saffidine, Abdallah 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CNF Encodings of Parity
  Emdin, Gregory ; Kulikov, Alexander S. ; Mihajlin, Ivan ; Slezkin, Nikita 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CNF Encodings of Binary Constraint Trees
  Wang, Ruiwei ; Yap, Roland H. C. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
  Zha, Aolong ; Koshimura, Miyuki ; Fujita, Hiroshi
• Pseudo-Boolean constraint encodings for conjunctive normal form and their applications
  Steinke, Peter 2020