Monadic Decomposition in Integer Linear Arithmetic

Matthew Hague
, Anthony Lin
, Philipp Ruemmer
, Zhilin Wu

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

74 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