%0 Conference Proceedings %T The eXtended Least Number Heuristic %+ Centre de Recherche en Informatique de Lens (CRIL) %A Audemard, Gilles %A Henocque, Laurent %< avec comité de lecture %B International Joint Conference on Automated Reasoning (IJCAR'01) %C Sienne, Italy %I Springer %3 LNAI 2083 %P 427-442 %8 2001 %D 2001 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-03299490 %U https://univ-artois.hal.science/hal-03299490 %~ UNIV-ARTOIS %~ CNRS %~ CRIL