Monadic Decomposition in Integer Linear Arithmetic. / Hague, Matthew; Lin, Anthony; Ruemmer, Philipp; Wu, Zhilin.
International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, 2020. p. 122-140 (Lecture Notes in Computer Science; Vol. 12166).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 422 KB, PDF document
Original language | English |
---|---|
Title of host publication | International Joint Conference on Automated Reasoning |
Subtitle of host publication | IJCAR 2020 |
Publisher | Springer-Verlag |
Pages | 122-140 |
Number of pages | 19 |
DOIs | |
Publication status | E-pub ahead of print - 24 Jun 2020 |
Event | International Joint Conference on Automated Reasoning - Paris, France Duration: 29 Jun 2020 → 6 Jul 2020 Conference number: 10 https://ijcar2020.org/ |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 12166 |
Conference | International Joint Conference on Automated Reasoning |
---|---|
Abbreviated title | IJCAR |
Country | France |
City | Paris |
Period | 29/06/20 → 6/07/20 |
Internet address |
Project: Research
ID: 37873238