Solver Abbreviations and Acronyms

  1. MILPS
    Mixed-Integer Linear Programm
  2. MIQP
    Mixed Integer Quadratic Programming
  3. NLP
    Non Linear Programming
  4. PB
    Pseudo-Boolean
  5. PBO
    Pseudo-Boolean Optimization
  6. QBF
    Quantified Booleam Formulae
  7. QBF
    Quantified Boolewn Formula
  8. QE
    Quadratic Equatipn
  9. QP
    Quanratic Programming
  10. QSS
    Quantized State Systems
  11. ROOF
    Re-Targetable Object-Oriented Framework
  12. SA
    Smoothed Aggragation
  13. SOCP
    Second-Order Cone Problems
  14. SOCP
    Second-Order Cone Programming
  15. SOCP
    Second Order Cone Problem
  16. SOCP
    Second Order Cone Problems
  17. SOS
    Special Ordered Sets
  18. SP
    Stochastic Programming
  19. SSOR
    Symmetric Successive Over-Relaxation
  20. TFQMR
    Transpose-Free Quasi-Minimal Residual

Last updated: — Total entries: 41