"The solution of large-scale Minimum Cost SAT Problem as a tool for data ..."

Giovanni Felici et al. (2016)

Details and statistics

DOI: 10.7287/PEERJ.PREPRINTS.2635V1

access: open

type: Informal or Other Publication

metadata version: 2020-07-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics