Advances in Computer Science and Engineering
Volume 4, Issue 1, Pages 89 - 92
(February 2010)
|
|
A NUMERICAL APPROACH TO 3-SAT
Norichika Matsuki
|
Abstract: We give a necessary and sufficient condition that a Boolean formula in 3 CNF is satisfiable in the form of a multiple integral and apply the Monte Carlo method to its evaluation. |
Keywords and phrases: 3-SAT, Monte Carlo method. |
|
Number of Downloads: 268 | Number of Views: 559 |
|