Theory and Applications of Satisfiability Testing

DOI10.1007/B95238MaRDI QIDQ5325864zbMATHOpenAlexFDO

Authors Renato Bruni

Publication date 24 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b95238

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05) Logic in artificial intelligence (68T27)

Recommendations

• Error correction for massive datasets
• scientific article; zbMATH DE number 2033323
• Error Localization for Erroneous Data: Continuous Data, Linear Constraints
• On solving the continuous data editing problem
• Efficient data structures for backtrack search SAT solvers

Cited in

(2)

• scientific article; zbMATH DE number 2033323 (Why is no real title available?)
• Error correction for massive datasets

Describes a project that uses

Uses Software

• Leibniz

This page was built for publication: Theory and Applications of Satisfiability Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325864)