Incomplete dynamic backtracking for linear pseudo-Boolean problems
type: Item
instance of: scholarly article
title: Incomplete dynamic backtracking for linear pseudo-Boolean problems
zbMATH Open document ID: 1156.90416
author: Steven Prestwich
published in: Annals of Operations Research
publication date: 2004-08-20T00:00:00Z
Mathematics Subject Classification ID: 90C09
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 2093644
zbMATH Keywords: satisfiability
zbMATH Keywords: integer programs
zbMATH Keywords: local search
describes a project that uses: SATIRE
describes a project that uses: Chaff
describes a project that uses: Velev SAT Benchmarks
MaRDI profile type: Publication
DOI: 10.1023/B:ANOR.0000032570.90510.8F
description: scientific article; zbMATH DE number 2093644