Monadic Decomposition in Integer Linear Arithmetic
Attributed to:
String Constraint Solving with Real-World Regular Expressions
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-51074-9_8
Publication URI: http://dx.doi.org/10.1007/978-3-030-51074-9_8
Type: Book Chapter
Book Title: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (2020)
Page Reference: 122-140