Jaroslav Bendík

Available identifiers

zbMath Open bendik.jaroslavMaRDI QIDQ832271

List of research outcomes

Publication	Date of Publication	Type
Hashing-based approximate counting of minimal unsatisfiable subsets	2024-11-04	Paper
Recursive online enumeration of all minimal unsatisfiable subsets	2023-07-28	Paper
Online Enumeration of All Minimal Inductive Validity Cores	2023-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5101345	2022-08-30	Paper
Counting minimal unsatisfiable subsets	2022-03-25	Paper
Timed automata relaxation for reachability	2021-08-04	Paper
Approximate counting of minimal unsatisfiable subsets	2021-02-04	Paper
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets	2019-07-04	Paper
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis	2018-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4636600	2018-04-19	Paper

Research outcomes over time

This page was built for person: Jaroslav Bendík