Deciding Boolean Algebra with Presburger Arithmetic
Work
Year: 2006
Type: article
Source: Journal of Automated Reasoning
Cites: 72
Cited by: 77
Related to: 10
FWCI: 7.277
Citation percentile (by year/subfield): 94.26
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed