Solving the satisfiability problem by using randomized approach

Liang Wu; Chuan Yi Tang

doi:10.1016/0020-0190(92)90177-w

ScienceGate Book Chapters

JOURNAL ARTICLE

Solving the satisfiability problem by using randomized approach

Liang Wu Chuan Yi Tang

Year: 1992 Journal: Information Processing Letters Vol: 41 (4)Pages: 187-190 Publisher: Elsevier BV

DOI: 10.1016/0020-0190(92)90177-w

Get Full-Text PDF Get Analytical Report

Keywords:

Satisfiability Randomized algorithm Boolean satisfiability problem Computer science Time complexity Algorithm Polynomial Theoretical computer science Mathematics

Metrics

Cited By

0.53

FWCI (Field Weighted Citation Impact)

Refs

0.66

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Constraint Satisfaction and Optimization

Physical Sciences → Computer Science → Computer Networks and Communications

Data Management and Algorithms

Physical Sciences → Computer Science → Signal Processing

Advanced Graph Theory Research

Physical Sciences → Computer Science → Computational Theory and Mathematics

Solving the satisfiability problem by using randomized approach

Metrics

Citation History

Topics

Related Documents

A Satisfiability Solving Approach

Problem Solving By Proving Satisfiability

Solving the incremental satisfiability problem

Solving the Incremental Satisfiability Problem

A randomized diversification strategy for solving satisfiability problem with long clauses