Zobrazeno 1 - 3
of 3
pro vyhledávání: '"S. I. Uvarov"'
Autor:
O. V. Uvarova, S. I. Uvarov
Publikováno v:
Russian Microelectronics. 50:623-627
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c2c9a27fedf0af87c703e71abca9ba7
https://doi.org/10.1134/s1063739721080084
https://doi.org/10.1134/s1063739721080084
Autor:
S. I. Uvarov
Publikováno v:
Automation and Remote Control. 81:130-138
We consider the satisfiability problem (SAT) for Boolean formulas given in conjunctive normal form with the restriction that each clause contains three literals (3-CNF). Generation of random formulas with a fixed clause length is widely used in empir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cf2c925bf05a0dae06917dc2f05e639
https://doi.org/10.1134/s0005117920010117
https://doi.org/10.1134/s0005117920010117
Publikováno v:
Izvestiya Vysshikh Uchebnykh Zavedenii. Materialy Elektronnoi Tekhniki = Materials of Electronics Engineering. 18:267-272
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc86142c1380ad134cf9790f9335a033
https://doi.org/10.17073/1609-3577-2015-4-267-272
https://doi.org/10.17073/1609-3577-2015-4-267-272