External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 87, Issue 4

    321 -- 342Curtis Bright, Dragomir Z. Dokovic, Ilias Kotsireas, Vijay Ganesh. The SAT+CAS method for combinatorial search with applications to best matrices
    343 -- 360Federico Bergenti, Stefania Monica. A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
    361 -- 372Sebastián A. Grillo. A linear relation between input and first layer in neural networks
    373 -- 393Morteza Ashraphijuo, Xiaodong Wang 0001. Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval
    395 -- 408Dmitry Maximov, Sergey E. Ryvkin. Multi-valued logic in graph transformation theory and self-adaptive systems
    runs on