MaxPre: An Extended MaxSAT Preprocessor

Research output: Non-textual formSoftwareScientific

Original languageEnglish
Publication statusPublished - 2017
MoE publication typeI2 ICT software

Fields of Science

  • 113 Computer and information sciences

Cite this