Certified Core-Guided MaxSAT Solving

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande

Onderzoeksoutput: Conference paper

31 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Certified Core-Guided MaxSAT Solving'. Samen vormen ze een unieke vingerafdruk.

Engineering & Materials Science