Effective Data Reduction for the Vertex Clique Cover Problem.
2022 PROCEEDINGS OF THE SYMPOSIUM ON ALGORITHM ENGINEERING AND EXPERIMENTS, ALENEX（2022）
Key words
Constraint Satisfaction Problems,Parameterized Complexity,Model Checking,Communication Complexity
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined