Conference item icon

Conference item

Empirical analysis and optimization of an NP−hard problem using CSP and FDR

Actions


Authors


Host title:
Proceedings of the 2007 Brazilian Symposium on Formal Methods (SBMF 2007)
Publication date:
2007-01-01
UUID:
uuid:ac94fdc1-c758-4fef-9ac1-aef983908413
Local pid:
cs:9272
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP