School of Computing Science

Mr Matthew McIlree

  • Research Assistant (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2026
Number of items: 1.

2026

Adame, B. O. et al. (2026) Trimming Pseudo-Boolean Proofs. In: Formal Methods in Computer-Aided Design (FMCAD 2026), Graz, Austria, 14-18 Sep 2026, (Accepted for Publication)

This list was generated on Tue Sep 15 03:25:54 2026 BST.
Jump to: Conference Proceedings
Number of items: 1.

Conference Proceedings

Adame, B. O. et al. (2026) Trimming Pseudo-Boolean Proofs. In: Formal Methods in Computer-Aided Design (FMCAD 2026), Graz, Austria, 14-18 Sep 2026, (Accepted for Publication)

This list was generated on Tue Sep 15 03:25:54 2026 BST.