Solving MaxSAT with Bit-Vector Optimization
Book chapter (June 2018)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (June 2018)
Article in Concurrency and Computation Practice and Experience (June 2017)
Article in AI Magazine (June 2017)