Showing 1 - 4 results of 4 for search 'Szeider, S', query time: 0.02s Refine Results
  1. 1
    Backdoors into heterogeneous classes of SAT and CSP

    Backdoors into heterogeneous classes of SAT and CSP by Gaspers, S, Misra, N, Ordyniak, S, Szeider, S, Živný, S

    Published 2014
    Conference item
  2. 2
    Backdoors into heterogeneous classes of SAT and CSP

    Backdoors into heterogeneous classes of SAT and CSP by Gaspers, S, Misra, N, Ordyniak, S, Szeider, S, Živný, S

    Published 2016
    Journal article
  3. 3
    Backdoors into heterogeneous classes of SAT and CSP

    Backdoors into heterogeneous classes of SAT and CSP by Gaspers, S, Misra, N, Ordyniak, S, Szeider, S, Zivny, S

    Published 2016
    Journal article
  4. 4
    The Silent (R)evolution of SAT

    The Silent (R)evolution of SAT by Hecher, Markus, Fichte, Johannes, Le Berre, Daniel, Szeider, Stefan

    Published 2023
    Get full text
    Article

Search Tools: