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_opt6.pl

  1. 6

  1. towers.pl

  1. towersExampleA_opt3.pl

  2. towersExampleB_opt6.pl

  3. towersExampleC_opt5.pl

  1. 3

  2. 6

  3. 5

  1. supermarket.pl

  1. supermarketExampleA_opt3.pl

  2. supermarketExampleB_opt6.pl

  1. 3

  2. 6

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