Results 141 to 143 of about 158 (143)
Some of the next articles are maybe not open access.
Constraint Answer Set Programming versus Satisfiability Modulo Theories.
Yuliya Lierler, Benjamin Susmanopenaire +1 more source
Reasoning about Space and Change with Answer Set Programming Modulo Theories.
openaire +1 more source