Recent Findings in Boolean Techniques

DOI10.1007/978-3-030-68071-8MaRDI QIDQ5856082zbMATH OpenOpenAlexFDO

Authors

Publication date 23 March 2021

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Networks and circuits as models of computation; circuit complexity (68Q06) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Recommendations

• Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018
• Advanced Boolean Techniques
• Recent progress in the Boolean domain
• scientific article; zbMATH DE number 1903342
• scientific article; zbMATH DE number 2090309
• scientific article; zbMATH DE number 279605
• scientific article; zbMATH DE number 2243352
• Contributions to the theory of practical quantified Boolean formula solving
• scientific article; zbMATH DE number 5139165
• Boolean query optimization and the 0-1 hyperbolic sum problem

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
• Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018
• Logic Functions and Equations
• Advanced Boolean Techniques

Describes a project that uses

Uses Software

• GenMul

This page was built for publication: Recent Findings in Boolean Techniques

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