{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:52:37Z","timestamp":1725555157722},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>NACRE, for Nogood And Clause Reasoning Engine, is a constraint solver written in C++. It is based on a modular architecture designed to work with generic constraints while implementing several state-of-the-art search methods and heuristics. Interestingly, its data structures have been carefully designed to play around nogoods and clauses, making it suit- able for implementing learning strategies. NACRE was submitted to the CSP MiniTrack of the 2018 and 2019 XCSP3 [8] competitions where it took the first place. This paper gives a general description of NACRE as a framework. We present its kernel, the available search algorithms, and the default settings (notably, used for XCSP3 competitions), which makes NACRE efficient in practice when used as a black-box solver.<\/jats:p>","DOI":"10.29007\/dxnb","type":"proceedings-article","created":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T22:10:11Z","timestamp":1590617411000},"page":"249-237","source":"Crossref","is-referenced-by-count":0,"title":["NACRE - A Nogood And Clause Reasoning Engine"],"prefix":"10.29007","volume":"73","author":[{"given":"Gael","family":"Glorian","sequence":"first","affiliation":[]},{"given":"Jean-Marie","family":"Lagniez","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Lecoutre","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T22:10:12Z","timestamp":1590617412000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/rN67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/dxnb","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}