Postponing Optimization to Speed Up MAXSAT SolvingMarkJessica Davies[0]Fahiem Bacchus[0]CP, pp. 247-262, 2013.Cited by: 48|Bibtex|Views9|DOI:https://doi.org/10.1007/978-3-642-40627-0_21EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceCitedUpload PPTYour rating :0 TagsCommentsSubmit
