LMHS: A SAT-IP Hybrid MaxSAT solver

Paul Henrik Alexander Saikko, Matti Juhani Järvisalo

Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

Originalspråk	engelska
Status	Publicerad - 2015
MoE-publikationstyp	I2 ICT-programvara

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

http://www.cs.helsinki.fi/group/coreo/lmhs/

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Projektledare)
Unknown funder
01/01/2015 → 31/12/2018
Projekt: Helsingfors Universitetets treåriga forskningsprojekt
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektledare)
Unknown funder
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt

Citera det här