Sign in
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