( en | de | ru )

 

Disambiguation of "Huang, Guan-Shieng"

Author of the publication

copydeleteadd this publication to your clipboard
Boolean Ring Satisfiability.

, , , and . SAT, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xin Guan

Shaohua Guan

Jing Guan

Kyle Guan

Zhiqun Guan

 

Other publications of authors with the same name

A metric for rooted trees with unlabeled vertices based on nested parentheses., and . Theor. Comput. Sci., 411 (44-46): 3923-3931 (2010)Some fundamental properties of Boolean ring normal forms., and . Satisfiability Problem: Theory and Applications, volume 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 587-602. DIMACS/AMS, (1996)Pricing Asian Options with an Efficient Convergent Approximation Algorithm., , and . WSTST, volume 29 of Advances in Soft Computing, page 1121-1130. Springer, (2005)A Practical Edit-Distance Model for RNA Secondary-Structure Comparison., and . BIBE, page 176-183. IEEE Computer Society, (2009)Enumeration Problems Related to Ground Horn Theories, , and . CoRR, (2006)Boolean Ring Satisfiability., , , and . SAT, (2004)Edit distance for a run-length-encoded string and an uncompressed string., , , and . Inf. Process. Lett., 105 (1): 12-16 (2007)Bit-Parallel Algorithms for Exact Circular String Matching., , and . Comput. J., 57 (5): 731-743 (2014)Sequence Alignment Algorithms for Run-Length-Encoded Strings., , and . COCOON, volume 5092 of Lecture Notes in Computer Science, page 319-330. Springer, (2008)An efficient convergent lattice algorithm for European Asian options., , and . Appl. Math. Comput., 169 (2): 1458-1471 (2005)