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: 287 | Number of Views: 779 |
|
