@inproceedings{audemard:hal-03299490, TITLE = {{The eXtended Least Number Heuristic}}, AUTHOR = {Audemard, Gilles and Henocque, Laurent}, URL = {https://univ-artois.hal.science/hal-03299490}, BOOKTITLE = {{International Joint Conference on Automated Reasoning (IJCAR'01)}}, ADDRESS = {Sienne, Italy}, PUBLISHER = {{Springer}}, SERIES = {LNAI 2083}, PAGES = {427-442}, YEAR = {2001}, HAL_ID = {hal-03299490}, HAL_VERSION = {v1}, }