On the Satisfiability and Validity Problems in the Propositional Gödel Logic.

Published in: IJCCI (Selected Papers) (2010)

Keyphrases

propositional logic
np complete
satisfiability testing
computational complexity
optimization problems
computational properties
propositional theories
search algorithm
lower bound
expressive power
satisfiability problem
computational problems
propositional formulas
sat solving