Login / Signup

Reducing signed propositional formulas.

Gabriel AguileraInman P. de GuzmánManuel Ojeda-AciegoAgustín Valverde
Published in: Soft Comput. (1998)
Keyphrases
  • propositional formulas
  • propositional logic
  • normal form
  • genetic algorithm
  • machine learning
  • database applications