Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018

DOI10.1007/978-3-030-20323-8MaRDI QIDQ5223446zbMATH OpenOpenAlexFDO

Authors

Publication date 18 July 2019

Full work available at URL https://doi.org/10.1007/978-3-030-20323-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02)

Recommendations

• Recent Findings in Boolean Techniques
• Further improvements in the Boolean domain
• Recent progress in the Boolean domain
• scientific article; zbMATH DE number 5852793
• scientific article; zbMATH DE number 2233860

Cited in

(6)

• Recent progress in the Boolean domain
• scientific article; zbMATH DE number 1963548 (Why is no real title available?)
• Further improvements in the Boolean domain
• Logic Functions and Equations
• Recent Findings in Boolean Techniques
• Advanced Boolean Techniques

Describes a project that uses

Uses Software

• tiny_sha3
• MiniSat
• Sat4j
• ABC
• z3
• Chaff
• ESPRESSO

This page was built for publication: Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018

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