Loandra, Core-Boosted Linear Search for incomplete MaxSAT

Jeremias Berg, Peter Stuckey, Emir Emir Demirović

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

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

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här

Berg, J. (Författare), Stuckey, P. (Författare), & Emir Demirović, E. (Författare). (2019). Loandra, Core-Boosted Linear Search for incomplete MaxSAT. Programvara