Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
type: Item
instance of: scholarly article
title: Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem
zbMATH Open document ID: 0621.68031
DOI: 10.1137/0215080
author: Mingte Chao
author: John V. Franco
published in: SIAM Journal on Computing
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 4007725
zbMATH Keywords: 3-SAT
zbMATH Keywords: 3-satisfiability problem
zbMATH Keywords: probabilistic analysis
zbMATH Keywords: heuristics
MaRDI profile type: Publication
OpenAlex ID: W2164346692
description: scientific article