NACRE - A Nogood And Clause Reasoning Engine - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

NACRE - A Nogood And Clause Reasoning Engine

(1) , (2) , (3)
1
2
3
Fichier principal
Vignette du fichier
LPAR20_nacre.pdf (341.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03300774 , version 1 (20-06-2022)

Identifiers

  • HAL Id : hal-03300774 , version 1

Cite

Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre. NACRE - A Nogood And Clause Reasoning Engine. 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23), 2020, Alicante, Spain. pp.249-259. ⟨hal-03300774⟩
36 View
12 Download

Share

Gmail Facebook Twitter LinkedIn More