Search

Your search keyword '"Oh, ChanSeok"' showing total 12 results
Start Over Author "Oh, ChanSeok"

Refine your results

more »

more »

more »
12 results on '"Oh, ChanSeok"'

1. Machine Learning-Based Restart Policy for CDCL SAT Solvers

Author

Liang, Jia Hui, Oh, Chanseok, Mathew, Minu, Thomas, Ciza, Li, Chunxiao, Ganesh, Vijay, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Beyersdorff, Olaf, editor, and Wintersteiger, Christoph M., editor

Published
2018
Full Text
View/download PDF

2. Between SAT and UNSAT: The Fundamental Difference in CDCL SAT

Author

Oh, Chanseok, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

11. Chemical Genetic Profiling and Characterization of Small-molecule Compounds That Affect the Biosynthesis of Unsaturated Fatty Acids in Candida albicans

Author

Xu, Deming, primary, Sillaots, Susan, additional, Davison, John, additional, Hu, Wenqi, additional, Jiang, Bo, additional, Kauffman, Sarah, additional, Martel, Nick, additional, Ocampo, Pam, additional, Oh, Chanseok, additional, Trosok, Steve, additional, Veillette, Karynn, additional, Wang, Hao, additional, Yang, Minghui, additional, Zhang, Li, additional, Becker, Jeffrey, additional, Martin, Charles E., additional, and Roemer, Terry, additional

Published
2009
Full Text
View/download PDF

12. Variable Elimination Algorithm for Model Counting for #SAT.

Author

Oh, Chanseok

Subjects
*ALGORITHMS, *BOOLEAN algebra, *MATHEMATICAL bounds, *SATISFIABILITY (Computer science), *MATHEMATICAL variables
Abstract

This paper presents a new algorithm to solve the model counting problem for boolean formulas (#SAT), together with an analysis of its time and space complexity. The algorithm features novel techniques based on a simple framework of manipulating layers, which are essentially arrays of model counts. It is distinguished from other existing approaches to #SAT that are mostly based on DPLL, and this non-DPLL framework suggests many advantages for real-world applications. Its time complexity matches the best one currently achievable with other proposed algorithms, specifically, the upper bound of O(n · 2w), where w is the induced width of the underlying variable graph. To highlight the practicality of our new algorithm, we also present a preliminary research on industrial SAT examples and suggest prospective areas for real-world applications. [ABSTRACT FROM AUTHOR]

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results