On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries
Work
Year: 2004
Type: article
Abstract: This paper is concerned with techniques for identifying simple and quantified lattice points in 2SAT polytopes. 2SAT polytopes generalize the polyhedra corresponding to Boolean 2SAT formulas, Vertex‐... more
Source: Mathematical logic quarterly
Author K. Subramani
Institution West Virginia University
Cites: 28
Cited by: 20
Related to: 10
FWCI: 1.292
Citation percentile (by year/subfield): 82.59
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze