1. The SAT+CAS method for combinatorial search with applications to best matrices

   • Curtis Bright
   • Dragomir Ž. Đoković
   • Vijay Ganesh

   OriginalPaper 05 December 2019 Pages: 321 - 342

   

2. A subdivision algorithm to reason on high-degree polynomial constraints over finite domains

   • Federico Bergenti
   • Stefania Monica

   OriginalPaper 05 December 2019 Pages: 343 - 360

3. A linear relation between input and first layer in neural networks

   • Sebastián A. Grillo

   OriginalPaper 08 August 2019 Pages: 361 - 372

4. Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval

   • Morteza Ashraphijuo
   • Xiaodong Wang

   OriginalPaper 16 August 2019 Pages: 373 - 393

5. Multi-valued logic in graph transformation theory and self-adaptive systems

   • Dmitry Maximov
   • Sergey Ryvkin

   OriginalPaper 02 November 2019 Pages: 395 - 408