Allocation of avionics communication using Boolean satisfiability

Autor:	D. C. Carta, J. M. P. de Oliveira, R. R. Starr, I. Costa
Rok vydání:	2012
Zdroj:	2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
DOI:	10.1109/dasc.2012.6383068
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::cbc1153a719322a1eb70b2e15e8bf94a https://doi.org/10.1109/dasc.2012.6383068 Zobrazit plný text záznamu