A Search Service for Abbreviation / Long Form

■ Related PubMed/MEDLINE Info.

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