Skip to main content
Unpublished Paper
Unifying Framework for Optimizations in CASP; SMT; ILP
(2021)
  • Yuliya Lierler
Abstract
Search-optimization problems are plentiful in scientific and engineering domains. Many popular automated reasoning paradigms provide users with languages supporting optimization statements. Recall  integer linear programming, MaxSAT, optimization satisfiability modulo theory, (constraint) answer set programming. These paradigms vary significantly in their languages in ways they express quality conditions on computed solutions. Here we propose a unifying framework of so called extended weight systems that eliminates syntactic distinctions between paradigms and allows us to see essential similarities and differences between optimization statements provided by paradigms.
Keywords
  • Automated reasoning,
  • Optimizations,
  • Modularity,
  • Abstraction
Publication Date
2021
Citation Information
Yuliya Lierler. "Unifying Framework for Optimizations in CASP; SMT; ILP" (2021)
Available at: http://works.bepress.com/yuliya_lierler/112/