scientific article; zbMATH DE number 2033323
From MaRDI portal
Publication:4444470
Recommendations
Cited in
(11)- Approximating minimal unsatisfiable subformulae by means of adaptive core search
- On exact selection of minimally unsatisfiable subformulae
- Discrete models for data imputation
- Balancing of agricultural census data by using discrete optimization
- Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae
- Census data repair: a challenging application of disjunctive logic programming
- scientific article; zbMATH DE number 3546612 (Why is no real title available?)
- Error correction for massive datasets
- Theory and Applications of Satisfiability Testing
- Error detection and gap filling in cubes of data
- Interactive error correction in implicative theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4444470)