Prime Implicate Generation in Equational Logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2017

Prime Implicate Generation in Equational Logic

Mnacho Echenim
Nicolas Peltier

Dates et versions

hal-01946538 , version 1 (06-12-2018)

Identifiants

Citer

Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Prime Implicate Generation in Equational Logic. Journal of Artificial Intelligence Research, 2017, 60, pp.827-880. ⟨10.1613/jair.5481⟩. ⟨hal-01946538⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More