PLANNING AS MIXED-HORN FORMULAS SATISFIABILITY
Autor: | Razer A. N. R. Montaño, Bruno Cesar Ribas |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | Engenharias elétrica e de computação: O terceiro pilar |
DOI: | 10.22533/at.ed.4302130091 |
Databáze: | OpenAIRE |
Externí odkaz: |