Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Wickramasinghe, Asanka"'
In this paper, we provide a deterministic polynomial time algorithm that determines satisfiability of 3-SAT. The complexity analysis for the algorithm takes into account no efficiency and yet provides a low enough bound, that efficient versions are p
Externí odkaz:
http://arxiv.org/abs/1903.10081
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Li, Yanxin, Wickramasinghe, Asanka, Subasinghe A., Akila, Samarabandu, Jagath, Knoll, Joan, Wilkins, Ruth, Flegal, Farrah, Rogan, Peter
Publikováno v:
2012 IEEE 6th International Conference on Information & Automation for Sustainability; 1/ 1/2012, p30-35, 6p
