Author of the publication

An Approximation Algorithm for Sorting by Bounded Singleton Moves.

, , , , and . COCOON, volume 11653 of Lecture Notes in Computer Science, page 580-590. Springer, (2019)

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.

 

Other publications of authors with the same name

Implementing program extraction from CL1-proofs., , , and . CoRR, (2013)An approximation algorithm for the Generalized k-Multicut problem., , and . Discret. Appl. Math., 160 (7-8): 1240-1247 (2012)A Bicriteria Approximation Algorithm for Generalized k-Multicut in Trees., , and . CSO (2), page 699-702. IEEE Computer Society, (2009)978-0-7695-3605-7.Approximation and Nonapproximability for the One-Sided Scaffold Filling Problem., , , and . COCOON, volume 9198 of Lecture Notes in Computer Science, page 251-263. Springer, (2015)An Approximation Algorithm for Sorting by Bounded Singleton Moves., , , , and . COCOON, volume 11653 of Lecture Notes in Computer Science, page 580-590. Springer, (2019)可计算性逻辑中CoL2系统的可判定性分析 (Research on Decidability of CoL2 in Computability Logic)., and . 计算机科学, 42 (7): 44-47 (2015)On the toggling-branching recurrence of Computability Logic, , and . CoRR, (2012)Hardness and Methods to Solve CLIQUE., , and . J. Comput. Sci. Technol., 16 (4): 388-391 (2001)Parameterized computational complexity of control problems in voting systems., , , and . Theor. Comput. Sci., 410 (27-29): 2746-2753 (2009)On the Toggling-Branching Recurrence of Computability Logic., , , and . J. Comput. Sci. Technol., 28 (2): 278-284 (2013)