A SAT Solver Based on Truth Value Calculation

  1. Nongjian Zhou
Read the full article See related articles

Discuss this preprint

Start a discussion What are Sciety discussions?

Listed in

This article is not in any list yet, why not save it to one of your lists.
Log in to save this article

Abstract

This paper presents a novel SAT solver based on truth value calculation. Compared with conventional tree-like graph-based approaches, it calculates the truth value of a given formula, determine the satisfiability, and generate the assignments. This method demonstrates advantages in terms of simplicity, directness and accuracy.

Article activity feed

  1. Version published to 10.21203/rs.3.rs-8468445/v1 on Research Square