ResearchTrend.AI
Translating Answer-Set Programs into Bit-Vector Logic

Translating Answer-Set Programs into Bit-Vector Logic

Mai Nguyen
Tomi Janhunen
I. Niemelä
    LRM
ArXiv (abs)PDFHTML

Papers citing "Translating Answer-Set Programs into Bit-Vector Logic"

1 / 1 papers shown
Title
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos
Marius Lindauer
Torsten Schaub
99
85
0
07 May 2014

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.