Work

The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3

Year: 2007

Type: conference-paper

Source: Springer eBooks

DOI: 10.1007/978-3-540-72504-6_56

Authors: Qingshun Zhang, Daoyun Xu

Institution: Guizhou University

Language: English

Topic: Advanced Graph Theory Research

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1539489476

FWCI: 0.524

Cites: 5

Cited by: 2

Related to: 10