Ivan Bliznets

1
Papers
0
Total Citations

Papers (1)

Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph

AAAI 2024
0
citations