Skip to content

Solving B Constraints with Goal-directed Answer Set Programming.

Alexandros Efremidis

VenueBICLP
Year2021
ProceedingsICLP Workshops

Browse the full ICLP paper archive.