Artifact of On Lower Bounding Minimal Model Count (ICLP-24)
Kabir, Mohimenul;Kuldeep S, Meel
Description
It contains the benchmark and experimental log files of our work "On Lower Bounding Minimal Model Count"
Citations (0)
No citations found
It looks like this dataset has no citations.
Mentions (0)
No mentions found
It looks like this dataset has not been mentioned in any sources.
Metrics Over Time
Publication Details
Subfield
Safety, Risk, Reliability and Quality
Field
Engineering
Domain
Physical Sciences
Confidence Score
36%
Source
Scholar Data Model