Spanning Matrices via Satisfiability Solving.

Clemens Eisenhofer Michael Rawson Laura Kovács

Published in: CoRR (2024)

Keyphrases

systems of linear equations
linear complementarity problem
neural network
np complete
combinatorial optimization
search algorithm
propositional logic
solving problems
quadratic programming
search heuristics
sat solving