Monadic Decomposition in Integer Linear Arithmetic

Matthew Hague, Anthony Lin, Philipp Ruemmer, Zhilin Wu

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

65 Downloads (Pure)

1 results

Filter

Finished

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