Search Results - Bendík, Jaroslav

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Hashing-based approximate counting of minimal unsatisfiable subsets

    Hashing-based approximate counting of minimal unsatisfiable subsets by Bendík, Jaroslav, Meel, Kuldeep S.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Timed Automata Robustness Analysis via Model Checking

    Timed Automata Robustness Analysis via Model Checking by Bendík, Jaroslav, Sencan, Ahmet, Gol, Ebru Aydin, Černá, Ivana

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Counting Maximal Satisfiable Subsets

    Counting Maximal Satisfiable Subsets by Bendík, Jaroslav, Meel, Kuldeep S.

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

    Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification by Hozzová, Petra, Bendík, Jaroslav, Nutz, Alexander, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Timed Automata Robustness Analysis via Model Checking

    Timed Automata Robustness Analysis via Model Checking by Bendík, Jaroslav, Sencan, Ahmet, Ebru Aydin Gol, Černá, Ivana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

    Recursive Online Enumeration of All Minimal Unsatisfiable Subsets by Bendik, Jaroslav, Cerna, Ivana, Benes, Nikola

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Finding Regressions in Projects under Version Control Systems

    Finding Regressions in Projects under Version Control Systems by Bendik, Jaroslav, Benes, Nikola, Cerna, Ivana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Tunable Online MUS/MSS Enumeration

    Tunable Online MUS/MSS Enumeration by Bendik, Jaroslav, Benes, Nikola, Cerna, Ivana, Barnat, Jiri

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Equivalent Gyrator Networks with Nullators and Norators

    Equivalent Gyrator Networks with Nullators and Norators by Bendik, J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: