Besonderhede van voorbeeld: 7113143876395757100

Metadata

Author: ParaCrawl Corpus

Data

English^[en]

Boolean satisfiability problem (SAT)

Spanish^[es]

Problema de satisfacibilidad booleana (SAT)

History

Your action: