Non credo che funzionerebbero su Marte. Innanzitutto la scala temporale è enormemente accelerata. La società marziana stima mille anni per arrivare a un punto in cui l'aria è abbastanza densa da consentire agli alberi di crescere e gli esseri umani possono sopravvivere senza tute a pressione con un autorespiratore a sistema chiuso di tipo aqualung. E potrebbero volerci migliaia, persino centinaia di migliaia di anni, per arrivare a un'atmosfera ricca di ossigeno.
L'anidride carbonica è velenosa per gli esseri umani con concentrazioni superiori all'1% nell'atmosfera, anche con abbondanza di ossigeno. E dipende dalla presenza di CO2 sufficiente perché l'atmosfera vada in un effetto serra impazzito.
Non è affatto chiaro se ce ne sia abbastanza. Per un effetto di fuga è necessario il 10% della pressione atmosferica terrestre. Ce n'è abbastanza per il 2% della pressione atmosferica terrestre.
La quantità di energia necessaria per liberare il ghiaccio secco è enorme. Circa un miliardo di megatoni di energia per raddoppiare la pressione atmosferica o circa nove miliardi per arrivare alla concentrazione del 10% in cui potrebbe iniziare una serra in fuga.
Se fornisci così tanta energia a Marte, è una velocità di diversi megatoni di energia che devi fornire ogni secondo, il tutto solo per sublimare il ghiaccio secco - non importa riscaldarlo, o il ghiaccio, o la regolite e ignorare tutte le perdite nello spazio.
Le sue tecniche genererebbero parecchi ordini di grandezza troppo poca energia per fare molto al clima di Marte.
Il che non è una sorpresa. Guarda la Terra. Ci vogliono miliardi di persone che guidano automobili e bruciano carbone per decenni, per fare una differenza di un grado nella temperatura della Terra. E in effetti il modo "più semplice" per riscaldare Marte è probabilmente quello di creare gas serra artificiali usando il minerale di fluorite. Ma questo è ancora un mega progetto. Sono undici chilometri cubi di minerale di fluorite che devi estrarre e richiede la produzione di 200 centrali nucleari in funzione per un secolo, producendo gas serra come l'unica cosa che fanno con tutta quella potenza. E funziona solo se Marte ha abbastanza CO2. E ci sono molte cose da fare lungo il percorso.
L'atmosfera terrestre non è abbastanza calda per Marte, anche se potessi duplicarla magicamente su Marte. Se riesci a sbarazzarti di tutta la CO2 e sostituirla con azoto e ossigeno, togli il carbonio dall'atmosfera in modo che sia respirabile, allora ti impegni ad aumentare i livelli di gas serra per tutto il futuro per evitare che freddo come l'Antartide.
Per il fabbisogno energetico vedere il mio articolo: Perché le armi nucleari non possono Terraformare Marte - Confeziona meno pugni di una collisione di comete
Per altri problemi vedi il mio articolo: Problemi con la terraformazione di Marte