Reverse mathematics and marriage problems with unique solutions.

Jeffry L. Hirst Noah A. Hughes

Published in: Arch. Math. Log. (2015)

Keyphrases

benchmark problems
similar problems
optimization problems
problems involving
word problems
information systems
search heuristics
combinatorial optimisation
databases
greedy algorithms
combinatorial problems
test problems
application domains
tabu search
optimal solution
artificial intelligence
data mining