Eun Jung Kim

Recent Publications

Algorithmic Applications of Tree-Cut Width
Robert Ganian, Eun Jung Kim, Stefan Szeider
SIAM J. Discrete Math., volume 36, number 4, pages 2635-2666, 2022.
PDF Cite Project Project DOI
Sum-of-Products with Default Values: Algorithms and Complexity Results
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider
Journal of Artificial Intelligence Research, volume 33, pages 535-552, 2022.
PDF Cite Project Project
Sum-of-Products with Default Values: Algorithms and Complexity Results
Robert Ganian, Eun Jung Kim, Stefan Szeider
2018, Technical report AC-TR-18-007, Algorithms and Complexity Group, TU Wien.
PDF Cite
Sum-of-Products with Default Values: Algorithms and Complexity Results
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider
Proceedings of ICTAI 2018, the 30th IEEE International Conference on Tools with Artificial Intelligence (Lefteri H. Tsoukalas and Éric Grégoire and Miltiadis Alamaniotis), pages 733-737, 2018, IEEE.
PDF Cite DOI
Algorithmic Applications of Tree-Cut Width
Robert Ganian, Eun Jung Kim, Stefan Szeider
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, volume 9235 of Lecture Notes in Computer Science, pages 348-360, 2015, Springer Verlag.
PDF Cite DOI
Don't Be Strict in Local Search!
Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann and Bart Selman), 2012, AAAI Press.
Cite
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming
Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo
Algorithmica, volume 64, number 1, pages 112-125, 2012.
Cite DOI
Algorithms and Complexity Results for Persuasive Argumentation
Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
Artificial Intelligence, volume 175, pages 1722-1736, 2011.
Cite
Algorithms and Complexity Results for Persuasive Argumentation
Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
Computational Models of Argumentation, Proceedings of COMMA 2010 (Pietro Baroni and Federico Cerutti and Massimiliano Giacomin and Guillermo R. Simari), volume 216 of Frontiers in Artificial Intelligence and Applications, pages 311-322, 2010.
Cite
A Probabilistic Approach to Problems Parameterized above or below Tight Bounds
Gregory Gutin, Eun Jung Kim, Stefan Szeider
Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers (Jianer Chen and Fedor V. Fomin), volume 5917 of Lecture Notes in Computer Science, pages 234-245, 2009, Springer Verlag.
Cite