NDLI: CAMA: a multi-valued satisfiability solver

Content Provider	IEEE Xplore Digital Library
Author	Cong Liu Kuehlmann, A. Moskewicz, M.W.
Copyright Year	2003
Description	Author affiliation: California Univ., Berkeley, CA, USA (Cong Liu; Kuehlmann, A.; Moskewicz, M.W.)
Abstract	This paper presents the multi-valued SAT solver CAMA. CAMA generalizes the recently developed speed-up techniques used in state-of-the-art binary SAT solvers, such as the two-literal-watching scheme for Boolean constraint propagation (BCP), conflict-based learning with identifying the first unique implication point (UIP), and non-chronological back-tracking. In addition, a novel minimum value set (MVS) technique is introduced for improving the efficiency of conflict-based learning. By analyzing the conflict clauses, MVS can potentially prune conflicting space that has not been searched before. Two different decision heuristics are discussed and evaluated. Finally the performance of CAMA is compared with Chaff using on a one-hot-encoding scheme. The experimental results show that, for MV-SAT problems with large variable domains, CAMA outperforms Chaff.
Sponsorship	IEEE IEEE Circuits and Syst. Soc. IEEE Comput. Soc. ACM Special Interest Group on Design Automation
Starting Page	326
Ending Page	333
File Size	604988
Page Count	8
File Format	PDF
ISBN	1581137621
DOI	10.1109/ICCAD.2003.159707
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2003-11-09
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Association for Computing Machinery, Inc. (ACM)
Subject Keyword	Encoding Business continuity Electronic design automation and methodology Artificial intelligence Design automation Integrated circuit synthesis Logic testing Circuit testing Permission Application software
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Chaff: engineering an efficient SAT solver

Solving satisfiability in combinational circuits

Boolean satisfiability in electronic design automation

Efficient SAT solving: beyond supercubes

Conflict driven learning in a quantified Boolean satisfiability solver

CAMA: A Multi-Valued Satisfiability Solver

Accelerating Boolean satisfiability through application specific processing

GRASP-A new search algorithm for satisfiability

Hybrid SAT Solver Considering Circuit Observability

CAMA: a multi-valued satisfiability solver

Similar Documents

Chaff: engineering an efficient SAT solver

Solving satisfiability in combinational circuits

Boolean satisfiability in electronic design automation

Efficient SAT solving: beyond supercubes

Conflict driven learning in a quantified Boolean satisfiability solver

CAMA: A Multi-Valued Satisfiability Solver

Accelerating Boolean satisfiability through application specific processing

GRASP-A new search algorithm for satisfiability

Hybrid SAT Solver Considering Circuit Observability

CAMA: a multi-valued satisfiability solver