Fast Three-Valued Abstract Bit-Vector Arithmetic.

Jan Onderka Stefan Ratschan

Published in: VMCAI (2022)

Keyphrases

bit vector
bit vectors
real time
neural network
state machines
data sets
dense datasets
multiscale
high level
databases
video sequences
user interface
low level
inference rules
propositional logic
floating point
arithmetic operations
image segmentation
e learning