An implementation of the DPLL algorithm

An implementation of the DPLL algorithm

The satisfiability problem (or SAT for short) is a central problem in several fields of computer science, including theoretical computer science, artificial intelligence, hardware design, and formal verification. Because of its inherent difficulty and widespread applications, this problem has been i...

Full description

Bibliographic Details
Main Author:	Ahmed, Tanbir
Format:	Others
Published:	2009
Online Access:	http://spectrum.library.concordia.ca/976566/1/MR63140.pdf Ahmed, Tanbir <http://spectrum.library.concordia.ca/view/creators/Ahmed=3ATanbir=3A=3A.html> (2009) An implementation of the DPLL algorithm. Masters thesis, Concordia University.

Similar Items

A Verified Implementation of the DPLL Algorithm in Dafny†
by: Andrici, C.-C, et al.
Published: (2022)

Verifying the DPLL Algorithm in Dafny
by: Cezar-Constantin Andrici, et al.
Published: (2019-09-01)

A Unified Framework for DPLL(T) + Certificates
by: Min Zhou, et al.
Published: (2013-01-01)

A linearized DPLL calculus with learning
by: Arnold, Holger
Published: (2007)

A Parallelized Phase-Frequency Detector based Modified LSPF-DPLL for Wireless Communication – Comparative Study with Modified LSPF-DPLL
by: Bhattacharyya Sabyasachi, et al.
Published: (2016-01-01)

Soft Computing Approaches to DPLL SAT Solver Optimization
by: Kibria, Raihan Hassnain
Published: (2011)

Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle
by: Rahmoune, Nabila
Published: (2006)

DPLL system design with quantitative analysis of some phase detectors
by: CHEN, YUN-LONG, et al.
Published: (1986)

A linearized DPLL calculus with clause learning (2nd, revised version)
by: Arnold, Holger
Published: (2009)

A Fuzzy Rule-based DPLL for Maximum Likelihood Phase Estimation in Signal Transmission
by: Ming-Ta Liu, et al.
Published: (1995)

Digital sinlock loop:a new DPLL for demodulation of N-ary PSK signals
by: Shu-Fa Yang, et al.
Published: (1994)

A smart DPLL for robust carrier tracking systems using uncertain rule-based IT2 fuzzy controllers
by: Mohieddin Moradi, et al.
Published: (2020-08-01)

A BCH code assisted modified NCO based LSPF-DPLL topology for Nakagami-m, Rayleigh and Rician fading channels
by: Sabyasachi Bhattacharyya, et al.
Published: (2019-05-01)

Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade
by: Romanelli Lodron Zuim
Published: (2007)

Some Results in Extremal Combinatorics
by: Ahmed, Tanbir
Published: (2013)

A Flexible RFIC Architecture for High-Sensitivity Reception and Compressed-Sampling Wideband Detection
by: Haque, Tanbir
Published: (2019)

Probing the structural dynamics, conformational change, and topology of pinholin S21, a bacteriophage lytic protein, using electron paramagnetic resonance spectroscopy
by: Ahammad, Tanbir
Published: (2020)

Effect of Governance on Accelerating Literacy Rate to Ensure Sustainable Forestland: A Multiple Regression Analysis on Developing Countries
by: Tanbir Hossain
Published: (2021-06-01)

Analysis for frequencies for future 5G system by positioning receiver at different altitudes.
by: Nabil, Tanbir Bakth
Published: (2020)

Multicast networks : capacity, algorithms, and implementation
by: Abdel Hadi, Ahmed Mohamed
Published: (2012)

IMPLEMENTATION OF ALGORITHMS ON FPGAS
by: Karlsson, Mattias
Published: (2009)

FPGA Implementation of Floating Point Based Cuckoo Search Algorithm
by: Hanady Hussein Issa, et al.
Published: (2019-01-01)

Implementation of Membrane Algorithms on GPU
by: Xingyi Zhang, et al.
Published: (2014-01-01)

Concept Lattice algorithm implementation
by: J. Vasarhelyi, et al.
Published: (2012-06-01)

Implementing parallel sorting algorithms
by: Elabed, Jamal
Published: (2011)

The computer implementation of braid algorithms
by: Luginbuhl, Elizabeth
Published: (2012)

The computer implementation of braid algorithms
by: Luginbuhl, Elizabeth
Published: (2012)

The Design and Implementation of Filter Algorithm
by: Chen Chia Ching, et al.
Published: (2004)

Parallel Implementation of Backpropagation Algorithm
by: Szabo, R., et al.
Published: (1996-12-01)

Survey and Implementation of Clustering Algorithms
by: Hui-Chuan Lin, et al.
Published: (1999)

The Implementation of Feng-Tzeng Algorithm
by: Shih-YU-Lung, et al.
Published: (2008)

An Implementation of paths planning algorithms
by: Chen Yun Po, et al.
Published: (2004)

Design and Implementation of Hashing Algorithms
by: Chin-Huo Chu, et al.
Published: (1999)

ASIC implementations of the Viterbi Algorithm
by: Dobson, Jonathan M.
Published: (1999)

The Implement of XL2 Algorithm
by: Jen-Chieh Wang, et al.
Published: (2003)

Karmarkars' algorithm: extensions and implementation
by: Salhi, Abdellah
Published: (1989)

FPGAS IMPLEMENTATION OF LOEFFLER'S ALGORITHM
by: Karnaf, Atigah A.
Published: (2014)

Verification of performance of Acuros XB Algorithm (AXB) Implemented on Eclipse Planning System
by: Nader Elsherbini, et al.
Published: (2018-06-01)

PCIU: Hardware Implementations of an Efficient Packet Classification Algorithm with an Incremental Update Capability
by: O. Ahmed, et al.
Published: (2011-01-01)

Implement dynamically active contour algorithm
by: HUANG,GUAN-WEI, et al.
Published: (2019)