C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proof Pattern Search in Coq/SSReflect.
Jónathan Heras
Ekaterina Komendantskaya
Published in:
CoRR (2014)
Keyphrases
</>
pattern search
theorem prover
direct search
stopping criterion
constrained optimization
data mining
search algorithm
data structure
nonlinear programming
motion estimation algorithm
image quality