NACRE - A Nogood And Clause Reasoning Engine - Université d'Artois Access content directly
Conference Papers Year : 2020

NACRE - A Nogood And Clause Reasoning Engine

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⟩
37 View
22 Download

Share

Gmail Facebook Twitter LinkedIn More