Moshe Y. Vardi

O DPSynth usa programação dinâmica pra sintetizar funções booleanas de forma eficiente.

Um olhar sobre o meta-planejamento para uma tecnologia autônoma mais segura.