Une version concurrente de la procédure de Davis et Putnam - Aix-Marseille Université 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
No 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 X LinkedIn More