SaMBA: Increasing Mixed Boolean-Arithmetic Complexity Through Equality Saturation

Veröffentlichungen: Beitrag in Buch › Beitrag in Konferenzband › Peer Reviewed

ÖFOS 2012

@inproceedings{5c27c20837a94d469725a836e00f6c83,

title = "SaMBA: Increasing Mixed Boolean-Arithmetic Complexity Through Equality Saturation",

author = "Caroline K{\"o}nig and David Schmidt and Philip K{\"o}nig and Patrick Felbauer and Sebastian Schrittwieser",

year = "2026",

month = jun,

day = "1",

language = "English",

booktitle = "ACM ASIACCS 2026",

}