2 citations · 3 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2021★ 1 cited
MatSat: a matrix-based differentiable SAT solver
Taisuke Sato, Ryosuke Kojima
We propose a new approach to SAT solving which solves SAT problems in vector spaces as a cost minimization problem of a non-negative differentiable cost function J^sat. In our appr…
cs.AI2018
Partial Evaluation of Logic Programs in Vector Spaces
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato +1
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices.…
cs.AI2017★ 2 cited
Embedding Tarskian Semantics in Vector Spaces
Taisuke Sato
We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first-order logic with N entities in N-dimensional Euclid…