Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
Christian Desrosiers; Philippe Galinier; Alain Hertz; Sandrine Paroz
| Year of publication: |
2009
|
|---|---|
| Authors: | Desrosiers, Christian ; Galinier, Philippe ; Hertz, Alain ; Paroz, Sandrine |
| Published in: |
Journal of combinatorial optimization. - Norwell, Mass. : Springer Science + Business Media, ISSN 1382-6905, ZDB-ID 1339574-9. - Vol. 18.2009, 2, p. 124-150
|
| Subject: | Entscheidungstheorie | Decision theory | Logik | Logic | Heuristik | Heuristics | Algorithmus | Algorithm |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003931348