scientific article; zbMATH DE number 1956595

zbMATH Open1031.68542MaRDI QIDQ4417941FDOQ4417941

Authors: Constantinos Bartzis, Tevfik Bultan 

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190394.htm

Title of this publication is not available (Why is that?)

Recommendations

• BDDs for pseudo-Boolean constraints -- revisited
• A New Look at BDDs for Pseudo-Boolean Constraints
• Efficient Symbolic Representations for Arithmetic Constraints in Verification
• Constructive negation of arithmetic constraints using dataflow graphs
• Fast set bounds propagation using a BDD-SAT hybrid
• Bounded arithmetic for NC, ALogTIME, L and NL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
• Efficient Symbolic Representations for Arithmetic Constraints in Verification
• Title not available (Why is that?)
• A New Look at BDDs for Pseudo-Boolean Constraints
• BDDs for pseudo-Boolean constraints -- revisited
• Correct Hardware Design and Verification Methods

Uses Software

• NuSMV

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