Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Vie'An Huzair Majalawa"'
Publikováno v:
THE THIRD INTERNATIONAL CONFERENCE ON MATHEMATICS: Education, Theory and Application.
The conflict driven clause learning or CDCL is one of algorithm widely used in a lot of modern SAT solvers. It is because CDCL SAT solvers are so effective in practice, thanks to its non-chronological backjumping and conflict analysis. In this paper,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b19bdeb500838477ca2beacd027545b9
https://doi.org/10.1063/5.0039296
https://doi.org/10.1063/5.0039296
Autor:
Majalawa, Vie'an Huzair, Utomo, Putranto Hadi, Kusmayadi, Tri Atmojo, Indriati, Diari, Sutrima, Sutrima, Saputro, Dewi Retno Sari
Publikováno v:
AIP Conference Proceedings; 2020, Vol. 2326 Issue 1, p1-7, 7p