Tesis doctoral de María ines Camarate de campos lynce de faria

Información academica María ines Camarate de campos lynce de faria. Tesis donde María ines Camarate de campos lynce de faria ha sido autor, director o parte del tribunal.

Max sat formalisms with hard and soft constraints

Tesis doctoral de Josep Argelich Roma In this thesis we investigate max-sat formalisms for solving combinatorial optimization problems with hard […]

Felip Manua Serres, Francisco Javier Larrosa Bondia, Josep Argelich Roma, María ines Camarate de campos lynce de faria, María Luisa Bonet carbonell, pedro Meseguer gonzález