scientific article; zbMATH DE number 5034118

From MaRDI portal

Publication:5473156

Jump to:navigation, search

zbMath1101.68969MaRDI QIDQ5473156

Sikun Li, Shengyu Shen

Publication date: 19 June 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checking incremental SAT safety assertion counterexample minimization refutation analysis

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Related Items (1)

The complexity of variable minimal formulas

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5473156&oldid=30014098"