Pràctica 4: Optimització en SAT

Basat en l’exemple de minColoring.pl, i utilitzant aquest Makefile, resoleu els següents problemes d’optimització:

Programa Prolog

Entrada(s) del programa

Cost òptim

  1. minColoringExampleA.pl

  1. 6

  1. towers.pl

  1. towersExampleA.pl

  2. towersExample_sp2.pl

  3. towersExample_s7.pl

  1. 5

  2. 3

  3. 6

  1. gangsters.pl

  1. gangstersExampleA.pl

  1. 3

Podeu baixar-vos tots els fitxers al zip labo4primavera25.zip.