A Cardinal Improvement to Pseudo-Boolean Solving

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelProceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20)
Antal sider9
ForlagAAAI Press
Publikationsdato1 feb. 2020
Sider1495-1503
StatusUdgivet - 1 feb. 2020
Begivenhed34th AAAI Conference on Artificial Intelligence - New York, USA
Varighed: 7 feb. 2020 → 12 jan. 2021

Konference

Konference34th AAAI Conference on Artificial Intelligence
LandUSA
ByNew York
Periode07/02/2020 → 12/01/2021

ID: 251872248