A Search Service for Abbreviation / Long Form

■ Abbreviation / Long Form : LIA / linear integer arithmetic

[Related PubMed/MEDLINE]
Total Number of Papers: 1
[Entries Per Page]
 per page
Page Control
Page: of
Abbreviation:   LIA  (>> Co-occurring Abbreviation)
Long Form:   linear integer arithmetic
 Abbreviation Variation
 Long Form Variation
 Pair(Abbreviation/Long Form) Variation
No. Year Title Co-occurring Abbreviation
2018 Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications. CDGP, GP, SLIA, SMT