José A. Alonso · @Jose_A_Alonso
756 followers · 1425 posts · Server mathstodon.xyzEncoding hard string problems with answer set programming. ~ Dominik Köppl. https://drops.dagstuhl.de/opus/volltexte/2023/17953/pdf/lipics-vol259-cpm2023-complete.pdf#page=309 #AnswerSetProgramming #LogicProgramming #Clingo
#clingo #logicprogramming #answersetprogramming
Last updated 1 year ago