Implicant based solver for XOR Boolean linear systems.

Jayashree Katti Virendra Sule B. K. Lande

Published in: SpringSim (HPC) (2017)

Keyphrases

linear systems
sufficient conditions
dynamical systems
linear equations
boolean formula
boolean functions
sparse linear systems
coefficient matrix
evolutionary algorithm
interior point methods
knowledge base
nearest neighbor
sat solvers