Vol-1616⫷ Vol-1617 ⫸Vol-1618
urn:nbn:de:0074-1617-0


Vol-1617/paper6⫷Vol-1617/paper7⫸Vol-1617/paper8
Christophe RingeissenRaphaël Berthon

Satisfiability Modulo Free Data Structures Combined with Bridging Functions