Theory and Applications of Satisfiability Testing

DOI10.1007/B95238zbMATH Open1204.68177OpenAlexW2494235144MaRDI QIDQ5325864FDOQ5325864

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

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

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)

Cited In (2)

• Error correction for massive datasets
• Title not available (Why is that?)

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)