Showing 1 - 2 results of 2 for search 'Martina Seidl', 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
  2. 2
    The Second Reactive Synthesis Competition (SYNTCOMP 2015)

    The Second Reactive Synthesis Competition (SYNTCOMP 2015) by Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

    Published 2016-02-01
    Get full text
    Article

Search Tools: