The SAT+CAS method for combinatorial search with applications to best matrices Curtis BrightDragomir Ž. ĐokovićVijay Ganesh OriginalPaper 05 December 2019 Pages: 321 - 342
A subdivision algorithm to reason on high-degree polynomial constraints over finite domains Federico BergentiStefania Monica OriginalPaper 05 December 2019 Pages: 343 - 360
A linear relation between input and first layer in neural networks Sebastián A. Grillo OriginalPaper 08 August 2019 Pages: 361 - 372
Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval Morteza AshraphijuoXiaodong Wang OriginalPaper 16 August 2019 Pages: 373 - 393
Multi-valued logic in graph transformation theory and self-adaptive systems Dmitry MaximovSergey Ryvkin OriginalPaper 02 November 2019 Pages: 395 - 408