LMHS: A SAT-IP Hybrid MaxSAT solver

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Originalspråkengelska
StatusPublicerad - 2015
MoE-publikationstypI2 ICT-programvara

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Projekt

Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, M.

Unknown funder

01/01/201531/12/2018

Projekt: Helsingfors Universitetets treåriga forskningsprojekt

Citera det här