12 results on '"Oh, ChanSeok"'
Search Results
2. Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
3. Machine Learning-Based Restart Policy for CDCL SAT Solvers
4. Identification of a quality-control mechanism for mRNA 5′-end capping
5. VERMEER: A Tool for Tracing and Explaining Faulty C Programs
6. Extreme SAT-based Constraint solving with R-Solve
7. Concolic Fault Abstraction
8. Variable Elimination Algorithm for Model Counting for #SAT
9. Concolic Fault Localization.
10. Dxo1 is a new type of eukaryotic enzyme with both decapping and 5′-3′ exoribonuclease activity
11. Chemical Genetic Profiling and Characterization of Small-molecule Compounds That Affect the Biosynthesis of Unsaturated Fatty Acids in Candida albicans
12. Variable Elimination Algorithm for Model Counting for #SAT.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.