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
Very Likely Science (85)
pypi: CADET
CADET is a python interface to the CADET chromatography simulatorPapers that mentioned: 25
Very Likely Science (60)
Very Likely Science (100)