Single-solver algorithms for 2QBF (Poster presentation)

被引：0
|
作者：
Bayless, Sam [1 ]
Hu, Alan J. [1 ]
机构：
[1] University of British Columbia, Vancouver, BC, Canada
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012年 / 7317 LNCS卷
关键词：
Compendex;
D O I：
15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012
中图分类号：
学科分类号：
摘要：
Boolean functions
引用
收藏
页码：487 / 488
相关论文
共 50 条
  • [21] PRESENTATION OF WAVE-FUNCTION AS A PRODUCT OF SINGLE-ELECTRON AND 2-ELECTRON ORBITALS
    LYAST, IT
    YUSIM, YM
    ZHURNAL STRUKTURNOI KHIMII, 1973, 14 (06): : 1114 - 1116
  • [22] Presentation at ESCV 2015: Poster 2 rapid molecular detection of dengue and chikungunya viruses on the BD MAX platform (vol 70, pg S102, 2015)
    Pillet, S.
    Leparc-Goffart, L.
    Epercieux, A.
    Maquart, M.
    Verhoeven, P. O.
    Pozzetto, B.
    JOURNAL OF CLINICAL VIROLOGY, 2015, 72 : 152 - 152
  • [23] Presentation and Outcomes of Autoimmune Hepatitis Type 1 and Type 2 in Children: A Single-center Study
    Roepe, Isaiah G.
    Vierling, John M.
    Goss, John A.
    Miloh, Tamir
    JOURNAL OF PEDIATRIC GASTROENTEROLOGY AND NUTRITION, 2021, 72 (01): : 101 - 107
  • [24] A 2K-h single-row planetary gearbox optimal design with Genetic Algorithms
    Buiga, Ovidiu
    INTERDISCIPLINARY RESEARCH IN ENGINEERING: STEPS TOWARDS BREAKTHROUGH INNOVATION FOR SUSTAINABLE DEVELOPMENT, 2013, 8-9 : 389 - 396
  • [25] Pattern of breast cancer presentation at first diagnosis in 2,246 patients from a single Italian institution
    Bareggi, C.
    Galassi, B.
    Gambini, D.
    Locatelli, E.
    Visintin, R.
    Poma, S.
    Carinelli, S.
    Reali, G.
    Tomirotti, M.
    JOURNAL OF CLINICAL ONCOLOGY, 2008, 26 (15)
  • [26] IOF Regionals – 2nd Middle East & Africa Osteoporosis Meeting 6th Pan Arab Osteoporosis Congress PAOC’6Poster Presentation Abstracts
    Osteoporosis International, 2012, 23 (Suppl 6) : 671 - 697
  • [27] A 2 year study of Breast Cancer presentation in a single unit of tertiary care government hospital: Plight of oncological services
    Sarfraz, Kiran
    Munawwar, Arslan
    Rafique, Arfa
    Khurram, Khadija
    Gardezi, Javed Raza
    PAKISTAN JOURNAL OF MEDICAL & HEALTH SCIENCES, 2020, 14 (01): : 317 - 319
  • [28] Attenuation compensation for cardiac single-photon emission computed tomographic imaging .2. Attenuation compensation algorithms
    King, MA
    Tsui, BMW
    Pan, TS
    Glick, SJ
    Soares, EJ
    JOURNAL OF NUCLEAR CARDIOLOGY, 1996, 3 (01) : 55 - 64
  • [29] DIRECTION-OF-ARRIVAL AND FREQUENCY ESTIMATIONS FOR NARROW-BAND SOURCES USING 2 SINGLE ROTATION INVARIANCE ALGORITHMS WITH THE MARKED SUBSPACE
    CHEN, YH
    CHEN, CH
    IEE PROCEEDINGS-F RADAR AND SIGNAL PROCESSING, 1992, 139 (04) : 297 - 300
  • [30] Efficacy and safety of glimepiride plus metformin in a single presentation, as combined therapy, in patients with type 2 diabetes mellitus and secondary failure to glibenclamide, as monotherapy
    González-Ortiz, M
    Martínez-Abundis, E
    REVISTA DE INVESTIGACION CLINICA-CLINICAL AND TRANSLATIONAL INVESTIGATION, 2004, 56 (03): : 327 - 333
12345