Anúncios

Finalmente notas enviadas

29 março 2021, 09:37 • Luis Marcelino Ferreira

Notas enviadas:

Alexandre 19
Eduardo 18
Zúñiga 17



Benchmark instances for the CMT

14 maio 2018, 16:12 • Pedro Manuel Santos de Carvalho


Benchmark instances for the capacitated minimum spanning tree problem. To start, use the 40 nodes symmetric cost matrices from

http://people.brunel.ac.uk/~mastjjb/jeb/orlib/capmstinfo.html

Quick start GA

2 maio 2018, 13:51 • Pedro Manuel Santos de Carvalho

Use the One-Max GA Matlab code of section "Lecture Notes" to quickly start developing EA for the SAT

Lecture Notes

19 abril 2018, 15:56 • Pedro Manuel Santos de Carvalho

Lecture Notes are available in the section "Lecture Notes"

Benchmark instances for the SAT

19 abril 2018, 15:51 • Pedro Manuel Santos de Carvalho

Benchmark instances for the Boolean satisfiability problem. To start, use the 20 variables, 91 clause problems from uf20-91 in http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html