Kertész, Gergő Csaba and Papp, Gergely and Szeredi, Péter and Varga, Dániel and Zombori, Zsolt (2021) Ordering Subgoals in a Backward Chaining Prover. In: 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 2021.09.05-11., Aussois; online, France.
|
Text
paper_14.pdf Download (201kB) | Preview |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 09 Dec 2021 14:11 |
| Last Modified: | 09 Dec 2021 14:11 |
| URI: | http://real.mtak.hu/id/eprint/134397 |
Actions (login required)
 |
Edit Item |
