CJS: Custom Jacobi Solver.

Andreea-Ingrid Cross Liucheng Guo Wayne Luk Mark Salmon

Published in: HEART (2018)

Keyphrases

domain specific
general purpose
application specific
quantified boolean formulas
machine learning
expert systems
jigsaw puzzle
neural network
real world
multi agent
sat solving