DLVMC: Enhanced Model Checking in DLV. | OpenReview

OpenReview.net

Login

Back to the profile of Marco Maratea

DLVMC: Enhanced Model Checking in DLV.

Marco Maratea, Francesco Ricca, Pierfrancesco Veltri

06 Oct 2025JELIA 2010EveryoneCC BY-SA 4.0

Loading

About OpenReview
Hosting a Venue
All Venues

Contact
Sponsors
Donate

FAQ
Terms of Use / Privacy Policy
News

About OpenReview
Hosting a Venue
All Venues
Sponsors
News

FAQ
Contact
Donate
Terms of Use
Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview