1 - 2 megjelenítése a 2 találatból, Keresési idő : 0.02s Szűkített eredmények
  1. 1
    Investigation of binary representations of SAT especially 2-literal representation [abstract] /
    Online elérés
    Könyv része
    Hozzáadás a kedvencekhez
    Elmentve itt :
  2. 2
    Effective implementation of hyper-unit propagation on FPGA and PC [abstract] /
    Online elérés
    Könyv része
    Hozzáadás a kedvencekhez
    Elmentve itt :
‌: Feliratkozás RSS hírfolyamra — Keresés küldése e-mail-ben — Keresés mentése