Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Generation Comput., 40(1):225-254, 2022. [doi]

@article{QuocIS22,
  title = {Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation},
  author = {Tuan Nguyen Quoc and Katsumi Inoue and Chiaki Sakama},
  year = {2022},
  doi = {10.1007/s00354-021-00142-2},
  url = {https://doi.org/10.1007/s00354-021-00142-2},
  researchr = {https://researchr.org/publication/QuocIS22},
  cites = {0},
  citedby = {0},
  journal = {New Generation Comput.},
  volume = {40},
  number = {1},
  pages = {225-254},
}