nope · @stacked_automation
124 followers · 6541 posts · Server mastodon.socialMulti-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI: https://doi.org/10.1017/s1471068418000054
#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving
#my_bibtex
#asp #answer_set_programming #clingo #logic_programming #multi_shot_solving #my_bibtex
nope · @stacked_automation
127 followers · 6600 posts · Server mastodon.social
Multi-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI: https://doi.org/10.1017/s1471068418000054
#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving
#my_bibtex
#asp #answer_set_programming #clingo #logic_programming #multi_shot_solving #my_bibtex