Gaspers, Serge and Misra, Neeldhara and Ordyniak, Sebastian and Szeider, Stefan and Zivny, Stanislav
(2017)
Backdoors into heterogeneous classes of SAT and CSP.
In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 85
.
pp. 38-56.
This list was generated on Thu Sep 19 05:06:54 2024 IST.