Showing 1 - 3 results of 3 for search '"satisfiability problem"', query time: 0.12s Refine Results
  1. 1
    Runtime–Coherence Tradeoffs for Hybrid Satisfiability Solvers

    Runtime–Coherence Tradeoffs for Hybrid Satisfiability Solvers by Vahideh Eshaghian, Soren Wilkening, Johan Aberg, David Gross

    Published 2025-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    SAT-based lazy formal analysis method for security protocols

    SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

    Published 2014-11-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Solving the K-subset summation problem based on twice quantum searching

    Solving the K-subset summation problem based on twice quantum searching by YE Tianyu, WU Heng, GAN Zhigang

    Published 2025-07-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: