Is the purpose of CDT/UDT/TDT is to arrive at a computationally efficient decision procedure? I’ve never seen this stated explicitly.
Is the purpose of CDT/UDT/TDT is to arrive at a computationally efficient decision procedure?
No.
Nope. :D
Is the purpose of CDT/UDT/TDT is to arrive at a computationally efficient decision procedure? I’ve never seen this stated explicitly.
No.
Nope. :D