Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,063,337 papers from all fields of science
Search
Sign In
Create Free Account
Crocus pallasii
Known as:
Crocus pallasii Goldb.
, non Crocus pallasii Spruner ex Boiss., nom. illeg.
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
SAT Solver Descriptions : CMUSAT-Base and CMUSAT
Himanshu Jain
,
E. Clarke
2007
Corpus ID: 15719208
CMUSAT-Base is a satisfiability (SAT) solver for formulas expressed in conjunctive normal form (CNF). It uses the DPLL algorithm…
Expand