Papers: 10.1007/978-3-030-53288-8_21

https://doi.org/10.1007/978-3-030-53288-8_21

Approximate Counting of Minimal Unsatisfiable Subsets

Cited by: 7
Author(s): Jaroslav Bendík, Kuldeep S. Meel
Published: almost 7 years ago

Software Mentions 3

cran: JM
Joint Modeling of Longitudinal and Survival Data
Papers that mentioned: 132
Very Likely Science (85)
pypi: CADET
CADET is a python interface to the CADET chromatography simulator
Papers that mentioned: 25
Very Likely Science (60)
pypi: pysat
'Supports science analysis across disparate data platforms'
Papers that mentioned: 1
Very Likely Science (100)