152 search results - page 1 / 31 » Boosting MUS Extraction |
SARA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
SAT
2005
Springer
13 years 10 months ago
2005
Springer
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
FROCOS
2009
Springer
13 years 8 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
WEBI
2010
Springer
13 years 2 months ago
2010
Springer
Biomedical entity extraction from unstructured web documents is an important task that needs to be performed in order to discover knowledge in the veterinary medicine domain. In ge...
BMCBI
2010
13 years 4 months ago
2010
Background: Ortholog detection methods present a powerful approach for finding genes that participate in similar biological processes across different organisms, extending our und...