Exploiting partial-assignment enumeration in optimization modulo theories

DOI10.1007/978-3-032-04167-8_7MaRDI QIDQ6852317zbMATH OpenFDO

Authors Gabriele Masina, Roberto Sebastiani

Publication date 26 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

enumerationoptimization modulo theoriespartial assignments

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Exploiting partial-assignment enumeration in optimization modulo theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6852317)