Work

Pseudo-Boolean Unit Resolution

Year: 1996

Type: book-chapter

Source: Operations research, computer science. Interface series

DOI: 10.1007/978-1-4613-1315-1_5

Author: Peter Barth

Language: English

Topic: Advanced Optimization Algorithms Research

Subfield: Numerical Analysis

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W113542571

FWCI:

Cites:

Cited by:

Related to: 10