Výsledky vyhledávání - "2012 ACM Subject Classification Theory of computation → Discrete optimization"

Core-Guided Linear Programming-Based Maximum Satisfiability

Autoři: Katsirelos, George George Katsirelos Jeremias Berg a další

Přispěvatelé: Katsirelos, George George Katsirelos Jeremias Berg a další

Témata: 2012 ACM Subject Classification Theory of computation → Discrete optimization, maximum satisfiability, Mathematics of computing → Solvers phrases maximum satisfiability, Theory of computation → Discrete optimization, Mathematics of computing → Combinatorial optimization, linear programming, Mathematics of computing → Solvers, 2012 ACM Subject Classification Theory of computation → Discrete optimization Mathematics of computing → Combinatorial optimization Theory of computation → Logic Mathematics of computing → Solvers phrases maximum satisfiability, [INFO] Computer Science [cs], ddc:004, Theory of computation → Logic, core-guided solvers

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2025.17
https://hal.inrae.fr/hal-05222608v1/document
https://doi.org/10.4230/lipics.sat.2025.17
https://hal.inrae.fr/hal-05222608v1