Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Data Structures and Algorithms
Title: A novel algorithm for solving the Decision Boolean Satisfiability Problem without algebra
(Submitted on 28 Apr 2016 (v1), last revised 14 Apr 2018 (this version, v7))
Abstract: This paper depicts an algorithm for solving the Decision Boolean Satisfiability Problem using the binary numerical properties of a Special Decision Satisfiability Problem, parallel execution, object oriented, and short termination. The two operations: expansion and simplification are used to explains why using algebra grows the resolution steps. It is proved that its complexity has an upper bound of $2^{n-1}$ where $n$ is the number of logical variables of the given problem.
Submission history
From: Carlos Barron-Romero Prof. [view email][v1] Thu, 28 Apr 2016 02:06:46 GMT (120kb)
[v2] Wed, 25 May 2016 20:46:29 GMT (120kb)
[v3] Sat, 28 May 2016 09:03:36 GMT (121kb)
[v4] Tue, 31 May 2016 00:18:18 GMT (121kb)
[v5] Mon, 16 Jan 2017 02:13:50 GMT (121kb)
[v6] Sun, 26 Nov 2017 21:36:45 GMT (121kb)
[v7] Sat, 14 Apr 2018 08:58:50 GMT (121kb)
Link back to: arXiv, form interface, contact.