共 50 条
- [14] Hitting forbidden minors: Approximation and Kernelization 28TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2011), 2011, 9 : 189 - 200
- [15] Implicit Hitting Set Algorithms for Reasoning Beyond NP FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 104 - 113
- [16] Abstract Cores in Implicit Hitting Set MaxSat Solving THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, 2020, 12178 : 277 - 294
- [18] Uniform kernelization complexity of hitting forbidden minors (1) University of Warsaw, Warsaw, Poland; (2) Eindhoven University of Technology, Eindhoven, Netherlands; (3) University of Bergen, Bergen, Norway; (4) Institute of Mathematical Sciences, Chennai, India, 1600, ERATO Kawarabayashi Large Graph Project; MEXT Grant-in-Aid for Scientific Research on Innovative Areas: Exploring the Limits of Computation; Research Institute for Mathematical Sciences; Tateisi Science and Technology Foundation (Springer Verlag):
- [19] Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 134 - 151