A New Approach to Conceive ASP Solvers.

Published in: RuleML+RR (Supplement) (2018)

Keyphrases

answer set programming
declarative programming
web applications
modulo theories
sat solvers
logic programming
neural network
logic programs
artificial intelligence
data structure
highly optimized
numerically stable