Zobrazeno 1 - 1
of 1
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
