Constraint-Satisfying Krylov Solvers for Structure-Preserving Discretizations.

James Jackaman Scott P. MacLachlan

Published in: SIAM J. Matrix Anal. Appl. (2024)

Keyphrases

structure preserving
constraint solver
global constraints
constraint solving
genetic algorithm
dimensionality reduction
constraint problems
constraint solvers
sat solvers
constraint networks
linear constraints
orders of magnitude
logic programs
evolutionary algorithm
lower bound
sat solving
similarity measure