An overview of backtrack search satisfiability algorithms
type: Item
instance of: scholarly article
title: An overview of backtrack search satisfiability algorithms
zbMATH Open document ID: 1010.68069
DOI: 10.1023/A:1021264516079
author: Inês Lynce
author: Joao Marques-Silva
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2003-03-10T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68P10
zbMATH DE Number: 1878969
zbMATH Keywords: satisfiability
zbMATH Keywords: search algorithms
zbMATH Keywords: backtracking
describes a project that uses: DIMACS
describes a project that uses: PSATO
describes a project that uses: Chaff
describes a project that uses: SATO
MaRDI profile type: Publication
full work available at URL: a:1021264516079
OpenAlex ID: W2127309711
description: scientific article; zbMATH DE number 1878969