Solving Boolean Problems and Beyond.
- Published in:
- 2024
- By:
- Publication type:
- Editorial
Works matching IS 16112776 AND DT 2024 AND VI 66 AND IP 4/5
Results: 10
1
2
Frontmatter.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. i, doi. 10.1515/itit-2024-frontmatter4-5
- Publication type:
- Article
3
Detailed insight into approximate circuits with error-responsive information flow tracking.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 147, doi. 10.1515/itit-2024-0075
- By:
- Publication type:
- Article
4
Approximate synthesis for LUT count reduction via probabilistic error propagation.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 137, doi. 10.1515/itit-2024-0074
- By:
- Publication type:
- Article
5
PSOP decomposition for EXOR-based synthesis.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 92, doi. 10.1515/itit-2024-0073
- By:
- Publication type:
- Article
6
Why less is sometimes more: Using Boolean literals to solve 2048.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 174, doi. 10.1515/itit-2024-0072
- By:
- Publication type:
- Article
7
Structural bias in synthesis of sparsely-specified functions.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 103, doi. 10.1515/itit-2024-0071
- By:
- Publication type:
- Article
8
Two approaches of arithmetic units design.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 114, doi. 10.1515/itit-2024-0070
- By:
- Publication type:
- Article
9
Rectangle-free four-colored square grids realized by cyclic-rotated reusable patterns.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 159, doi. 10.1515/itit-2024-0069
- By:
- Publication type:
- Article
10
EnR: extend and reduce methodology to enable formal verification of truncated adders.
- Published in:
- IT: Information Technology, 2024, v. 66, n. 4/5, p. 124, doi. 10.1515/itit-2024-0068
- By:
- Publication type:
- Article