Open AccessPartial MUS Enumeration
Author(s) -
Alessandro Previti,
João Marques-Silva
Publication year - 2013
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v27i1.8657
Subject(s) - enumeration , domain (mathematical analysis) , computer science , range (aeronautics) , simple (philosophy) , discrete mathematics , theoretical computer science , mathematics , algorithm , combinatorics , philosophy , engineering , mathematical analysis , epistemology , aerospace engineering