Randomized algorithms for 3-SAT
type: Item
instance of: scholarly article
title: Randomized algorithms for 3-SAT
zbMATH Open document ID: 1109.68133
author: Thomas Hofmeister
author: Rainer Schuler
author: Osamu Watanabe
author: Uwe Schöning
published in: Theory of Computing Systems
publication date: 2007-03-12T00:00:00Z
Mathematics Subject Classification ID: 68W20
zbMATH DE Number: 5133106
zbMATH Keywords: Schöning's algorithm
MaRDI profile type: Publication
full work available at URL: s00224-005-1275-6
OpenAlex ID: W2002838007
DOI: 10.1007/S00224-005-1275-6
description: scientific article; zbMATH DE number 5133106