Enumerating Infeasibility: Finding Multiple MUSes Quickly (Q4922910)
From MaRDI portal
scientific article; zbMATH DE number 6170485
Language | Label | Description | Also known as |
---|---|---|---|
English | Enumerating Infeasibility: Finding Multiple MUSes Quickly |
scientific article; zbMATH DE number 6170485 |
Statements
Enumerating Infeasibility: Finding Multiple MUSes Quickly (English)
0 references
4 June 2013
0 references