Metadata
Author: ParaCrawl Corpus
Data
English[en]
Dr. Zerpa’s research project focuses on one of the most intensely studied open problems of computer science: the problem of propositional SATability (also Boolean Satisfaction or Propositional Satisfiability).
Spanish[es]
El proyecto de investigación de Levis Zerpa, Ph.D., se enfoca en uno de los problemas abiertos más intensamente estudiados de las ciencias computacionales: el problema de la SATisfacibilidad proposicional (también satisfacibilidad booleana o Propositional Satisfiability).