3
Quali algoritmi sono noti per il calcolo degli interpolanti Craig?
Esiste un sondaggio sugli algoritmi per gli interpolanti informatici? Che dire dei documenti su un solo algoritmo? Il caso che mi interessa di più è e , più il vincolo che l'interpolante è il più piccolo possibile. (Conosco il documento di McMillan del 2005 , che descrive come ottenere interpolanti, …