MAX SAT
method
ID: maxsat
Entity Details
Basic Information
Entity ID
maxsat
Entity Type
Method
English Label
MAX SAT
Russian Label
MAX SAT
Kazakh Label
MAX SAT
Frequency
3
Description
English Description
A probabilistic model used to approximate exact logical inference.
Russian Description
-
Kazakh Description
-