Please use this identifier to cite or link to this item:
Title: A Faster Exact Algorithm to Count X3SAT Solutions
Authors: Hoi, G
Jain, S 
Stephan, F 
Keywords: cs.DS
68Q25, 68W40
Issue Date: 1-Jan-2020
Publisher: Springer International Publishing
Citation: Hoi, G, Jain, S, Stephan, F (2020-01-01). A Faster Exact Algorithm to Count X3SAT Solutions 12333 LNCS : 375-391. ScholarBank@NUS Repository.
Abstract: The Exact Satisfiability problem, XSAT, is defined as the problem of finding a satisfying assignment to a formula in CNF such that there is exactly one literal in each clause assigned to be “1” and the other literals in the same clause are set to “0”. If we restrict the length of each clause to be at most 3 literals, then it is known as the X3SAT problem. In this paper, we consider the problem of counting the number of satisfying assignments to the X3SAT problem, which is also known as 3SAT. The current state of the art exact algorithm to solve #X3SAT is given by Dahllöf, Jonsson and Beigel and runs in time, where n is the number of variables in the formula. In this paper, we propose an exact algorithm for the #X3SAT problem that runs in time with very few branching cases to consider, by using a result from Monien and Preis to give us a bisection width for graphs with at most degree 3.
ISBN: 9783030584740
ISSN: 0302-9743,1611-3349
DOI: 10.1007/978-3-030-58475-7_22
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
2007.07553v1.pdfSubmitted version262.03 kBAdobe PDF



Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.