Proof-of-Search: Combining Blockchain Consensus Formation With Solving Optimization Problems.
Naoki ShibataPublished in: IEEE Access (2019)
Keyphrases
- solving optimization problems
- optimization problems
- search algorithm
- search space
- general purpose
- website
- artificial intelligence
- knowledge sources
- search queries
- optimal solution
- information systems
- data model
- data sets
- genetic algorithm
- search methods
- search strategies
- information seeking
- theorem prover
- theorem proving
- neural network