Author:
Publication: Artificial Intelligence
MaxSAT by improved instance-specific algorithm configuration
The multifaceted impact of Ada Lovelace in the digital age