Author:
Publication: Artificial Intelligence
Editorial Board
MaxSAT by improved instance-specific algorithm configuration