Login / Signup
Precompiler for the ACELAN-COMPOS Package Solvers.
Aleksandr Vasilenko
Vadim Veselovskiy
Elena Metelitsa
Nikita Zhivykh
Boris Ya. Steinberg
Oleg Steinberg
Published in:
PaCT (2021)
Keyphrases
</>
sat solvers
highly optimized
genetic algorithm
quantified boolean formulas
databases
image processing
software package
sat solving
numerically stable
computationally hard problems
machine learning
learning algorithm
information systems
e learning
three dimensional
similarity measure