An optimization approach for the satisfiability problem
We describe a new approach for solving the satisfiability problem by geometric programming. We focus on the theoretical background and give details of the algorithmic procedure. The algorithm is provably efficient as geometric programming is in essence a polynomial problem. The correctness of the al...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Emerald Publishing
2015-01-01
|
| Series: | Applied Computing and Informatics |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S2210832711000494 |