1. ScholarBank@NUS

Jaroslav Bendik

rp65728

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Jaroslav Bendik
(not current staff)
Main Affiliation
 
Faculty
 
Email
dcsjb@nus.edu.sg
 

Publications


Results 1-1 of 1 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
11-Jan-2021Counting Minimal Unsatisfiable SubsetsBendík, J. ; Meel, Kuldeep S.