Login / Signup
On the Accuracy of Statistical Estimations of SAT Partitionings Effectiveness in Application to Discrete Function Inversion Problems.
Alexander A. Semenov
Oleg Zaikin
Published in:
DOOR (Supplement) (2016)
Keyphrases
</>
high accuracy
optimization problems
solving problems
statistical approaches
statistical analysis
orders of magnitude
statistical models
decision problems
satisfiability problem
sat solving