Search Results - Dzhiblavi, Ibragim

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Probabilistic Generalization of Backdoor Trees with Application to SAT

    Probabilistic Generalization of Backdoor Trees with Application to SAT by Semenov, Alexander, Chivilikhin, Daniil, Kochemazov, Stepan, Dzhiblavi, Ibragim

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: