Proof-of-Work Difficulty Readjustment with Genetic Algorithm.
Zi Hau ChinTimothy Tzen Vun YapIan K. T. TanPublished in: ACeS (2020)
Keyphrases
- genetic algorithm
- multi objective optimization
- fitness function
- theorem prover
- multi objective
- neural network
- genetic algorithm ga
- evolutionary computation
- artificial neural networks
- genetic programming
- decision trees
- multi population
- real time
- theorem proving
- population size
- machine learning
- geometry theorem proving
- prize collecting
- hybrid ga
- natural deduction
- linear logic
- hybrid genetic algorithm
- encoding scheme
- feature selection
- optimization method
- differential evolution
- metadata
- ant colony optimization
- metaheuristic
- simulated annealing