Se debe desarrollar una aplicacion en el lenguaje de programacion deseado que implemente dicha tranformacion. Con ese fin, debe describirse una clase con la estructura de datos asociada al primer problema Π1, y otra clase con la estructura de datos asociada al segundo problema Π2. El algoritmo de transformaci´on recibir´a una entrada de Π1, y producir´a una salida del tipo Π2.
-
Notifications
You must be signed in to change notification settings - Fork 0
carlamendozadominguez/Sat-to-3Sat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published