SiMBA

SiMBA SiMBA è uno strumento per la semplificazione di espressioni lineari miste booleano-aritmetiche MBA. Come MBA-Blast e MBA-Solver, utilizza un approccio completamente algebrico basato sull'idea che una MBA lineare è completamente determinata dai suoi valori sull'insieme di zeri e uni, ma...