We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DS
< prev | next >
new | recent | 1605

Change to browse by:

cs
cs.CC
cs.LO

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Data Structures and Algorithms

Title: A novel algorithm for solving the Decision Boolean Satisfiability Problem without algebra

Authors: Carlos Barrón-Romero
(Submitted on 28 Apr 2016 (v1), revised 31 May 2016 (this version, v4), latest version 14 Apr 2018 (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.
Comments: arXiv admin note: text overlap with arXiv:1602.06867
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
MSC classes: 68Q10, 68Q12, 68Q19, 68Q25
ACM classes: F.1.1; F.1.2
Cite as: arXiv:1605.07503 [cs.DS]
  (or arXiv:1605.07503v4 [cs.DS] for this version)

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)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.