Solving MaxSAT with Natural Deduction.

Joan Casas-Roma Antonia Huertas Felip Manyà

Published in: CCIA (2017)

Keyphrases

natural deduction
combinatorial optimization
theorem prover
upper bound
intuitionistic logic
inference rules
boolean optimization
branch and bound algorithm
theorem proving
cut elimination
description logics
linear programming
default reasoning
sat problem
linear time temporal logic