LMHS: A SAT-IP Hybrid MaxSAT solver

Paul Henrik Alexander Saikko, Matti Juhani Järvisalo

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Hakutulokset