C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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