Gen-O-Fix

MaRDI QIDQ34654swMATHFDO

Official website http://www.cs.stir.ac.uk/~jrw/publications/genofix-TR.pdf

Cited in

(3)

• Genetic programming + proof search = automatic improvement
• Djinn
• GenProg

This page was built for software: Gen-O-Fix