MaxSAT by improved instance-specific algorithm configuration

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2015.12.006

View full text

>> Full Text: MaxSAT by improved instance-specific algorithm configuration

A formalization of programs in first-order logic with a discrete linear order

Strategyproof matching with regional minimum and maximum quotas