Work

The Minimum Satisfiability Problem

Year: 1994

Type: article

Source: SIAM Journal on Discrete Mathematics

DOI: 10.1137/s0895480191220836

Authors: Rajeev Kohli, Ramesh Krishnamurti, Prakash Mirchandani

Institutions: University of Lethbridge, Simon Fraser University

Language: English

Topic: Complexity and Algorithms in Graphs

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2036285035

FWCI: 1.361

Cites: 17

Cited by: 124

Related to: 10