Universidade de Lisboa-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2009

  1. Regular encodings from Max-CSP into partial Max-SAT

    Proceedings of The International Symposium on Multiple-Valued Logic