Recent Findings in Boolean Techniques

Rolf Drechsler; Daniel Große

doi:10.1007/978-3-030-68071-8

Recent Findings in Boolean Techniques

Rolf Drechsler (Editor), Daniel Große (Editor)

Institute of Complex Systems

Research output: Book › Anthology

Abstract

Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques. Includes a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems. Covers Boolean algebras, Boolean logic, Boolean modeling, combinatorial search, Boolean and bitwise arithmetic, symbolic computer algebra, software and tools for the solution of Boolean problems, applications of Boolean logic and algebras, applications to real-world problems, Boolean constraint solving, and extensions of Boolean logic.

Original language	English
Place of Publication	Schweiz
Publisher	Springer International Publishing
Number of pages	197
ISBN (Print)	978-3-030-68070-1
DOIs	https://doi.org/10.1007/978-3-030-68071-8
Publication status	Published - 2021

Fields of science

202005 Computer architecture
202017 Embedded systems
102 Computer Sciences
102005 Computer aided design (CAD)
102011 Formal languages

JKU Focus areas

Digital Transformation

Access to Document

10.1007/978-3-030-68071-8

Cite this

@book{e6d8f7079a4440d488ee76a17b8bb90e,

title = "Recent Findings in Boolean Techniques",

abstract = "Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques. Includes a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems. Covers Boolean algebras, Boolean logic, Boolean modeling, combinatorial search, Boolean and bitwise arithmetic, symbolic computer algebra, software and tools for the solution of Boolean problems, applications of Boolean logic and algebras, applications to real-world problems, Boolean constraint solving, and extensions of Boolean logic.",

editor = "Rolf Drechsler and Daniel Gro{\ss}e",

year = "2021",

doi = "10.1007/978-3-030-68071-8",

language = "English",

isbn = "978-3-030-68070-1",

publisher = "Springer International Publishing",

}

TY - BOOK

T1 - Recent Findings in Boolean Techniques

A2 - Drechsler, Rolf

A2 - Große, Daniel

PY - 2021

Y1 - 2021

N2 - Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques. Includes a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems. Covers Boolean algebras, Boolean logic, Boolean modeling, combinatorial search, Boolean and bitwise arithmetic, symbolic computer algebra, software and tools for the solution of Boolean problems, applications of Boolean logic and algebras, applications to real-world problems, Boolean constraint solving, and extensions of Boolean logic.

AB - Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques. Includes a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems. Covers Boolean algebras, Boolean logic, Boolean modeling, combinatorial search, Boolean and bitwise arithmetic, symbolic computer algebra, software and tools for the solution of Boolean problems, applications of Boolean logic and algebras, applications to real-world problems, Boolean constraint solving, and extensions of Boolean logic.

U2 - 10.1007/978-3-030-68071-8

DO - 10.1007/978-3-030-68071-8

M3 - Anthology

SN - 978-3-030-68070-1

BT - Recent Findings in Boolean Techniques

PB - Springer International Publishing

CY - Schweiz

ER -