Year: 2007
Type: preprint
Abstract: The algorithm checks the propositional formulas for patterns of unsatisfiability.
Source: arXiv (Cornell University)
Author: Gubin, Sergey
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1615739529