Une version concurrente de la procédure de Davis et Putnam - Archive ouverte HAL Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle Year : 1996

Une version concurrente de la procédure de Davis et Putnam

Abstract

no abstract
Not file

Dates and versions

hal-01479608 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479608 , version 1

Cite

Richard Génisson, Belaïd Benhamou, Antoine Rauzy. Une version concurrente de la procédure de Davis et Putnam. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1996, 10, pp.499-507. ⟨hal-01479608⟩
84 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More