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