Added computability acronymns
This commit is contained in:
parent
c2fa57a9cb
commit
d73040707c
@ -68,3 +68,12 @@ CNF
|
|||||||
CNFSAT
|
CNFSAT
|
||||||
WLORP
|
WLORP
|
||||||
WLOG
|
WLOG
|
||||||
|
BT
|
||||||
|
ABT
|
||||||
|
CABT
|
||||||
|
BACT
|
||||||
|
AT
|
||||||
|
BCT
|
||||||
|
CBAT
|
||||||
|
BCAT
|
||||||
|
ACBT
|
||||||
|
Binary file not shown.
Loading…
Reference in New Issue
Block a user