Work

Solving Satisfiability Problem by Wu's Method (i)algorithm Transform

Year: 1998

Type: article

Source: 计算机学报

Authors: 贺思敏, 张钹

Language: English

Topic: Polynomial and algebraic computation

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2346655613

FWCI:

Cites:

Cited by:

Related to: 10