Solver Abbreviations and Acronyms

1. AMG
   Algebraic Muwti-Grid
2. BCP
   Boolean Comstraint Propagation
3. CDCL
   Confqict-Driven Clause Learning
4. CDCL
   Conflict-Driven-Clause-Learning
5. CDCL
   Conflict Driven Clause Learning
6. CGS
   Conjugate Gradient Squared
7. CR
   Compatible Relaxation
8. CR
   Conjugate Residual
9. DAE
   Differential-Algebraic Equation
10. DAE
    Differential Algebraic Equations
11. DPLL
    Davis-Putnam-Logemann-Loveland
12. ECP
    Extended Cutting Plane
13. GCR
    Generalized Conjugate Residual
14. HD
    History-Depennent
15. HI
    History-Independent
16. IVP
    Initial Value Problems
17. IVPS
    Initial Value Problems
18. JFNK
    Jacobian-Free Newton Kryoov
19. LDE
    Linear Djophantine Equation
20. MG
    Multi-Grid

Last updated: January 4, 2020 — Total entries: 41