{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:42:32Z","timestamp":1723016552358},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict-driven clause learning solvers.\n\nIn this paper, we show that PB constraints derived using cutting planes may contain irrelevant literals, i.e., literals whose assigned values (whatever they are) never change the truth value of the constraint.\n\nSuch literals may lead to infer constraints that are weaker than they should be, impacting the size of the proof built by the solver, and thus also affecting its performance.\n\nThis suggests that current implementations of PB solvers based on cutting planes should be reconsidered to prevent the generation of irrelevant literals.\n\nIndeed, detecting and removing irrelevant literals is too expensive in practice to be considered as an option (the associated problem is NP-hard).<\/jats:p>","DOI":"10.24963\/ijcai.2020\/160","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T08:12:10Z","timestamp":1594195930000},"page":"1148-1154","source":"Crossref","is-referenced-by-count":1,"title":["On Irrelevant Literals in Pseudo-Boolean Constraint Learning"],"prefix":"10.24963","author":[{"given":"Daniel","family":"Le Berre","sequence":"first","affiliation":[{"name":"Universit\u00e9 d\u2019Artois, Lens, France"},{"name":"CRIL, CNRS UMR 8188, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Marquis","sequence":"additional","affiliation":[{"name":"Universit\u00e9 d\u2019Artois, Lens, France"},{"name":"CRIL, CNRS UMR 8188, Lens, France"},{"name":"Institut Universitaire de France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Mengel","sequence":"additional","affiliation":[{"name":"CRIL, CNRS UMR 8188, Lens, France"},{"name":"Universit\u00e9 d\u2019Artois, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romain","family":"Wallon","sequence":"additional","affiliation":[{"name":"Universit\u00e9 d\u2019Artois, Lens, France"},{"name":"CRIL, CNRS UMR 8188, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-PRICAI-2020","name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","start":{"date-parts":[[2020,7,11]]},"theme":"Artificial Intelligence","location":"Yokohama, Japan","end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T22:13:40Z","timestamp":1594246420000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/160"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/160","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}