A restarted strategy for efficient subsumption testing
From MaRDI portal
Publication:3602744
zbMATH Open1155.68489MaRDI QIDQ3602744FDOQ3602744
Authors: Ondřej Kuželka, Filip Železný
Publication date: 12 February 2009
Recommendations
Cited In (2)
This page was built for publication: A restarted strategy for efficient subsumption testing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602744)