Login / Signup
Distinguishing standard SBL-algebras with involutive negations by propositional formulas.
Zuzana Haniková
Petr Savický
Published in:
Math. Log. Q. (2008)
Keyphrases
</>
propositional formulas
linear programming
propositional logic
data structure
dynamic programming
upper bound