Jaroslav Bendik

Identifiers

No identifiers captured yet.

Papers (3)

1. Finding Regressions in Projects under Version Control Systems cs.SE · 2017 · author #1
2. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets cs.LO · 2017 · author #1
3. Tunable Online MUS/MSS Enumeration cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ivana Cerna 3 shared papers
• Nikola Benes 3 shared papers
• Jiri Barnat 1 shared papers