Login / Signup
HOL Zero's Solutions for Pollack-Inconsistency.
Mark Adams
Published in:
ITP (2016)
Keyphrases
</>
optimal solution
similar problems
solution space
database
information retrieval
decision making
database systems
similarity measure
particle swarm optimization
feasible solution
benchmark problems
theorem prover
formal methods
practical solutions
polynomial equations