Login / Signup

Public and Secret Forgetting of Propositional Formulas.

Ángel Nepomuceno-FernándezEnrique Sarrión-MorilloFernando Soler-ToscanoFernando R. Velázquez-Quesada
Published in: CAEPIA (2015)
Keyphrases
  • propositional formulas
  • propositional logic
  • normal form
  • propositional satisfiability
  • database
  • search algorithm
  • expert systems
  • evolutionary algorithm
  • state space
  • linear programming