Cover Image

Certified MaxSAT Preprocessing

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ihalainen, Hannes, Oertel, Andy, Tan, Yong Kiam, Berg, Jeremias, Järvisalo, Matti, Nordström, Jakob
Format: Preprint
Published: 2024
Subjects:
Artificial Intelligence
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items