A Deterministic Polynomial-Time Algorithm for the Three-Satisfiability (3SAT) Problem

Jana, Rudra

DOI: 10.5281/zenodo.23696546

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.