|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Mikolas Janota Pages in this Program | Accepted Papers | | All Proceedings Papers | | IJCAR 2022 Proceedings of IJCAR 2022 | | IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts | | IJCAR on Wednesday, August 10th | | IJCAR Program | | Organization | | Paper: Guiding an Automated Theorem Prover with Neural Rewriting | | Program | | Program for Friday, August 12th | | Program for Friday, August 5th | | Program for Thursday, August 4th | | Program for Tuesday, August 2nd | | Program for Wednesday, August 10th | | SAT on Friday, August 5th | | SAT on Thursday, August 4th | | SAT on Tuesday, August 2nd | | SAT Program | | Slides | | Slides | | SMT on Friday, August 12th | | SMT Program |
|
|
|
