Public and Secret Forgetting of Propositional Formulas

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24598-0_13 ◽

2015 ◽

pp. 139-149 ◽

Author(s):

Ángel Nepomuceno-Fernández ◽

Enrique Sarrión-Morrillo ◽

Fernando Soler-Toscano ◽

Fernando R. Velázquez-Quesada

Download Full-text