Monadic Decomposition in Integer Linear Arithmetic

Matthew Hague, Anthony Lin, Philipp Ruemmer, Zhilin Wu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

49 Downloads (Pure)

1 results

Finished

String Constraint Solving with Real-World Regular Expressions
Hague, M.
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research