Seuraa
Eivind Jahren
Eivind Jahren
University of Bergen
Vahvistettu sähköpostiosoite verkkotunnuksessa uib.no
Nimike
Viittaukset
Viittaukset
Vuosi
A column generation approach and new bounds for the car sequencing problem
E Jahren, R Asín-Achá
Annals of Operations Research 264 (1-2), 193-211, 2018
122018
The MSUSorting MaxSAT solver
E Jahren, R Asín-Achá
MaxSAT Evaluation 2017: Solver and Benchmark Descriptions, 15, 2017
22017
Resizing cardinality constraints for MaxSAT
E Jahren, R Asín-Achá
AI Communications 31 (4), 355-367, 2018
12018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3