{"type":"ScholarlyArticle","title":"Advanced Conflict-Driven Disjunctive Answer Set Solving","authors":[{"name":"Martin Gebser","slug":"martin-gebser","given":"Martin","family":"Gebser","affiliation":""},{"name":"Benjamin Kaufmann","slug":"benjamin-kaufmann","given":"Benjamin","family":"Kaufmann","affiliation":""},{"name":"Torsten Schaub","slug":"torsten-schaub","given":"Torsten","family":"Schaub","affiliation":""}],"abstract":"We introduce a new approach to disjunctive ASP solving that aims at an equitable interplay between generating and testing solver units. To this end, we develop novel characterizations of answer sets and unfounded sets allowing for a bidirectional dynamic information exchange between solver units for orthogonal tasks. This results in the new multi-threaded disjunctive ASP solver claspD-2, greatly improving the performance of existing systems.","doi":null,"url":"https://ijcai.org/proceedings/2013/140","pdf":"https://ijcai.org/proceedings/2013/0140.pdf","markdown":"https://ijcai.org/proceedings/2013/140.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/140","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":140,"pages":{"first":912,"last":917},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}