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 |
| Summary: | 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 algorithm is discussed. The version of the satisfiability problem we study is exact satisfiability with only positive variables, which is known to be NP-complete. |
|---|---|
| ISSN: | 2210-8327 |