scientific article; zbMATH DE number 5547835

MaRDI QIDQ3624006zbMATHFDO

Authors

Publication date 28 April 2009

Full work available at URL https://arxiv.org/abs/1109.6348

zbMATH Keywords

Boolean formulasdelta-model

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Scalable error detection using Boolean satisfiability
• scientific article; zbMATH DE number 2019877
• On the structure of Boolean satisfiability
• scientific article; zbMATH DE number 1670770
• Boolean satisfiability with transitivity constraints
• scientific article; zbMATH DE number 176261
• Boolean satisfiability and EDA applications
• scientific article; zbMATH DE number 1982200
• Probabilistic verification of Boolean functions
• A Fault-Tolerant Default Logic

Cited in

(3)

• The Fault Tolerance of NP-Hard Problems
• Friedman's question: Detectability of bridging faults in irredundant computational logic networks
• Reformulation based MaxSat robustness

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 Q3624006)