most citedMatSat: a matrix-based differentiable SAT solver

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2019

A tensorized logic programming language for large-scale data

Ryosuke Kojima, Taisuke Sato

We introduce a new logic programming language T-PRISM based on tensor embeddings. Our embedding scheme is a modification of the distribution semantics in PRISM, one of the state-of…