Guided local search for solving SAT and weighted MAX-SAT problems
type: Item
instance of: scholarly article
title: Guided local search for solving SAT and weighted MAX-SAT problems
zbMATH Open document ID: 0967.68152
DOI: 10.1023/A:1006343127545
author: Patrick Mills
author: Edward Tsang
published in: Journal of Automated Reasoning
publication date: 2000-05-18T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1449099
zbMATH Keywords: guided local search
zbMATH Keywords: SAT problem
MaRDI profile type: Publication
full work available at URL: a:1006343127545
OpenAlex ID: W1566650019
description: scientific article; zbMATH DE number 1449099