Login / Signup

A Tableau Calculus for MaxSAT Based on Resolution.

Shoulin LiJordi CollDjamal HabetChu-Min LiFelip Manyà
Published in: CCIA (2022)
Keyphrases
  • tableau calculus
  • combinatorial optimization
  • description logics
  • upper bound
  • high resolution
  • artificial intelligence
  • programming language
  • branch and bound algorithm
  • temporal logic
  • sat solvers