The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5.

Zhe Lin Mihir Kumar Chakraborty

Published in: ICLA (2019)

Keyphrases

boolean algebra
half spaces
constraint query languages
cardinality constraints
set theory
theorem prover
machine learning
knapsack problem