Find Research Outputs

Search results

• Conference contribution

  A Comprehensive Framework for Saturation Theorem Proving

  Waldmann, U., Tourret, S., Robillard, S. & Blanchette, J., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Vol. 1. p. 316-334 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Theorem proving
  • Theorem Proving
  • Saturation
  • Redundancy
  • Completeness
• Article

  Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

  Schlichtkrull, A., Blanchette, J., Traytel, D. & Waldmann, U., Oct 2020, In : Journal of Automated Reasoning. 64, 7, p. 1169-1195 27 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Theorem proving
  13 Downloads (Pure)

• Scalable Fine-Grained Proofs for Formula Processing

  Barbosa, H., Blanchette, J. C., Fleury, M. & Fontaine, P., Mar 2020, In : Journal of Automated Reasoning. 64, 3, p. 485-510 26 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Surface mount technology
  • Data structures
  • Set theory