Search Results - Emdin, Gregory

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    CNF Encodings of Symmetric Functions

    CNF Encodings of Symmetric Functions by Emdin, Gregory, Kulikov, Alexander S., Mihajlin, Ivan, Slezkin, Nikita

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    CNF Encodings of Parity

    CNF Encodings of Parity by Emdin, Gregory, Kulikov, Alexander S, Mihajlin, Ivan, Slezkin, Nikita

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

    Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis by Averkov, Daniil, Belova, Tatiana, Emdin, Gregory, Goncharov, Mikhail, Krivogornitsyna, Viktoriia, Kulikov, Alexander S, Kurmazov, Fedor, Levtsov, Daniil, Levtsov, Georgie, Vaskin, Vsevolod, Vorobiev, Aleksey

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Dosing and Safety Profile of Aficamten in Symptomatic Obstructive Hypertrophic Cardiomyopathy: Results From SEQUOIA-HCM

    Dosing and Safety Profile of Aficamten in Symptomatic Obstructive Hypertrophic Cardiomyopathy: Results From SEQUOIA-HCM by Coats, Caroline J, Masri, Ahmad, Nassif, Michael E, Barriales-Villa, Roberto, Arad, Michael, Cardim, Nuno, Choudhury, Lubna, Claggett, Brian, Düngen, Hans-Dirk, Garcia-Pavia, Pablo, Hagège, Albert A, Januzzi, James L, Lee, Matthew M Y, Lewis, Gregory D, Ma, Chang-Sheng, Maron, Martin S, Miao, Zi Michael, Michels, Michelle, Olivotto, Iacopo, Oreziak, Artur, Owens, Anjali T, Spertus, John A, Solomon, Scott D, Tfelt-Hansen, Jacob, van Sinttruije, Marion, Veselka, Josef, Watkins, Hugh, Jacoby, Daniel L, German, Polina, Heitner, Stephen B, Kupfer, Stuart, Lutz, Justin D, Malik, Fady I, Meng, Lisa, Wohltman, Amy, Abraham, Theodore P

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: