HTR-1.2 solver: Hypersonic Task-based Research solver version 1.2.

Mario Di Renzo Sergio Pirozzoli

Published in: Comput. Phys. Commun. (2021)

Keyphrases

neural network
quantified boolean formulas
case study
digital libraries
constraint solving
constraint solver
databases
machine learning
learning algorithm
computer vision
information systems
website
data structure
search algorithm
expert systems
special case