Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell. Decision levels are stable: towards better SAT heuristics. In Elvira Albert, Laura Kovács, editors, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. Volume 73 of EPiC Series in Computing, pages 1-11, EasyChair, 2020. [doi]
@inproceedings{NieuwenhuisLOR20,
title = {Decision levels are stable: towards better SAT heuristics},
author = {Robert Nieuwenhuis and Adrià Lozano and Albert Oliveras and Enric Rodríguez-Carbonell},
year = {2020},
url = {https://easychair.org/publications/paper/Bz5Z},
researchr = {https://researchr.org/publication/NieuwenhuisLOR20},
cites = {0},
citedby = {0},
pages = {1-11},
booktitle = {LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020},
editor = {Elvira Albert and Laura Kovács},
volume = {73},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}