A Common Type Framework for 2-SAT and 3-SAT

Powell, Douglas, Powell, Aaron

DOI: 10.5281/zenodo.23701633

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