Backdoors into heterogeneous classes of SAT and CSP

Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny. Backdoors into heterogeneous classes of SAT and CSP. J. Comput. Syst. Sci., 85:38-56, 2017. [doi]

Authors

Serge Gaspers

This author has not been identified. Look up 'Serge Gaspers' in Google

Neeldhara Misra

This author has not been identified. Look up 'Neeldhara Misra' in Google

Sebastian Ordyniak

This author has not been identified. Look up 'Sebastian Ordyniak' in Google

Stefan Szeider

This author has not been identified. Look up 'Stefan Szeider' in Google

Stanislav Zivny

This author has not been identified. Look up 'Stanislav Zivny' in Google