Complete Boolean Algebra for Memristive and Spintronic Asymmetric Basis Logic Functions.

Vaibhav Vyas Joseph S. Friedman

Published in: CoRR (2024)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
set theory
theorem prover
upper approximation
data analysis
computational intelligence
logic programming
integrity constraints