Showing 1 - 1 results of 1 for search 'Benjamin Kiesl', query time: 0.02s Refine Results
  1. 1
    Local Redundancy in SAT: Generalizations of Blocked Clauses

    Local Redundancy in SAT: Generalizations of Blocked Clauses by Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

    Published 2018-10-01
    Get full text
    Article

Search Tools: