Partitioning Methods for Satisfiability Testing on Large Formulas
Work
Year: 2000
Type: article
Source: Information and Computation
Authors Tai Joon Park, Allen Van Gelder
Institution University of California, Santa Cruz
Cites: 16
Cited by: 14
Related to: 10
FWCI: 0.737
Citation percentile (by year/subfield): 77.76
Subfield: Electrical and Electronic Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: bronze