default search action
"Parameterization of (Partial) Maximum Satisfiability above Matching in a ..."
Vasily Alferov, Ivan Bliznets, Kirill Brilliantov (2024)
- Vasily Alferov, Ivan Bliznets, Kirill Brilliantov:
Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph. AAAI 2024: 7918-7925
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.