Home

Yakoub SalhiINESC-ID |

+351213100300no-address-a1b58fd4-58ea-4d29-bde7-a9e71f9ce469@inesc-id.pt

Total displayed: 1

Order by:

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Saïd Jabbour, Joao Marques Silva, Lakhdar Sais, Yakoub Salhi
European Conference on Logics in Artificial Intelligence, LNCS, Springer, Springer,
2014

});