The Cook–Levin theorem states that the Boolean satisfiability problem is NP-complete.
Sin perjuicio de lo dispuesto en el apartado #, el traslado de una persona que deba ser readmitida en virtud de una de las obligaciones enunciadas en los artículos # y # requerirá la presentación de una solicitud de readmisión a la autoridad competente del Estado requeridoWikiMatrix WikiMatrix