Bilaketaren emaitzak - "propositional satisfiability"
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
-
1
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Argitaratua 2023Gaiak: “...propositional satisfiability...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
2
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Argitaratua 2023Gaiak: “...propositional satisfiability...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua