Login / Signup
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.
Pei Huang
Feifei Ma
Cunjing Ge
Jian Zhang
Hantao Zhang
Published in:
IJCAR (2018)
Keyphrases
</>
satisfiability testing
propositional logic
neural network
artificial intelligence
image processing
decision trees
multiscale
evolutionary algorithm
data exchange
morphological operators
complementarity problems