Controlling the Difficulty of Combinatorial Optimization Problems for Fair Proof-of-Useful-Work-Based Blockchain Consensus Protocol.
Uros MalesDusan RamljakTatjana Jaksic KrügerTatjana DavidovicDragutin OstojicAbhay HaridasPublished in: Symmetry (2023)
Keyphrases
- combinatorial optimization problems
- knapsack problem
- combinatorial optimization
- discrete optimization
- metaheuristic
- optimization problems
- ant colony optimization
- formal proof
- job shop scheduling
- shortest path problem
- traveling salesman problem
- continuous optimization problems
- job shop scheduling problem
- vehicle routing problem
- theorem prover
- tcp ip
- min cost
- exact algorithms
- lightweight
- optimal solution
- minmax regret
- upper bound
- evolutionary algorithm
- search space