"Enhancing Linear Algebraic Computation of Logic Programs Using Sparse ..."

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama (2022)

Details and statistics

DOI: 10.1007/S00354-021-00142-2

access: open

type: Journal Article

metadata version: 2022-10-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics