Showing 1 - 7 results of 7 for search 'N. V. Shilov', query time: 0.02s Refine Results
  1. 1
    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers

    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers by N. V. Shilov

    Published 2010-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Verification of Backtracking and Branch and Bound Design Templates

    Verification of Backtracking and Branch and Bound Design Templates by N. V. Shilov

    Published 2011-12-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Teaching Formal Models of Concurrency Specification and Analysis

    Teaching Formal Models of Concurrency Specification and Analysis by N. V. Shilov

    Published 2015-12-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2021-12-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2020-12-01
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects

    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects by A. Yu. Bernstein, N. V. Shilov

    Published 2013-04-01
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem) by E. V. Bodin, N. O. Garanina, N. V. Shilov

    Published 2011-06-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: