A Boolean Algebra for Genetic Variants.

Jonathan K. Vis Mark A. Santcroos Walter A. Kosters Jeroen F. J. Laros

Published in: CoRR (2021)

Keyphrases

boolean algebra
cardinality constraints
constraint query languages
theorem prover
genetic algorithm
upper approximation
set theory
artificial intelligence
knowledge representation
object oriented
logic programming