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


Vol-1617/paper8⫷Vol-1617/paper9⫸Vol-1617/no-trace-1
Roberto SebastianiPatrick Trentin

On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT