Theory and Applications of Satisfiability Testing
Work
Year: 2005
Type: book
Authors Holger H. Hoos, David G. M. Mitchell
Institutions University of British Columbia, Simon Fraser University
Cites: 2
Cited by: 22
Related to: 10
FWCI: 0.125
Citation percentile (by year/subfield): 64.38
Topic: Risk and Safety Analysis
Subfield: Statistics, Probability and Uncertainty
Field: Decision Sciences
Domain: Social Sciences
Open Access status: closed