%0 Conference Paper %1 conf/lpar/GlorianLL20 %A Glorian, Gael %A Lagniez, Jean-Marie %A Lecoutre, Christophe %B LPAR %D 2020 %E Albert, Elvira %E Kovács, Laura %I EasyChair %K dblp %P 249-259 %T NACRE - A Nogood And Clause Reasoning Engine. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#GlorianLL20 %V 73

@inproceedings{conf/lpar/GlorianLL20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Glorian, Gael and Lagniez, Jean-Marie and Lecoutre, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/290d469e6e2e40633eeb6eba9646c9f63/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2020}, editor = {Albert, Elvira and Kovács, Laura}, ee = {https://doi.org/10.29007/dxnb}, interhash = {c7a0450e30019e171b47a17a136099b0}, intrahash = {90d469e6e2e40633eeb6eba9646c9f63}, keywords = {dblp}, pages = {249-259}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {NACRE - A Nogood And Clause Reasoning Engine.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#GlorianLL20}, volume = 73, year = 2020 }