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 条
  • [1] 2QBF: Challenges and Solutions
    Balabanov, Valeriy
    Jiang, Jie-Hong Roland
    Scholl, Christoph
    Mishchenko, Alan
    Brayton, Robert K.
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 453 - 469
  • [2] Understanding and Extending Incremental Determinization for 2QBF
    Rabe, Markus N.
    Tentrup, Leander
    Rasmussen, Cameron
    Seshia, Sanjit A.
    COMPUTER AIDED VERIFICATION, CAV 2018, PT II, 2018, 10982 : 256 - 274
  • [3] Abstraction-Based Algorithm for 2QBF
    Janota, Mikolas
    Marques-Silva, Joao
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011, 6695 : 230 - 244
  • [4] A Generator of Hard 2QBF Formulas and ASP Programs
    Amendola, Giovanni
    Ricca, Francesco
    Truszczynski, Miroslaw
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 52 - 56
  • [5] POSTER ORAL PRESENTATION 2
    不详
    GASTROENTEROLOGY NURSING, 2017, 40 (02) : 185 - 185
  • [6] Poster presentation - 2 Managing laboratory setup and practices
    Indian Journal of Clinical Biochemistry, 2007, 22 (Suppl 2) : 224 - 227
  • [7] POSTER PRESENTATION: CLINICAL RESULTS OF APPAC EPIDEMIOLOGY AND SOCIAL PSYCHIATRY FOR PAST 2 YEARS
    Kouros, J.
    Katsikandaraki, E.
    Kotta, D.
    Koudoumogiannaki, V.
    Loizou, E.
    Malaj, M.
    EUROPEAN PSYCHIATRY, 2012, 27
  • [8] Optimization design of single-expansion-ramp nozzles using genetic algorithms based on a parabolized Navier-Stokes solver
    Chen, Bing
    Xu, Xu
    Cai, Guo-Biao
    Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2007, 28 (04): : 827 - 832
  • [9] A UNIFIED SET OF SINGLE STEP ALGORITHMS .2. THEORY
    WOOD, WL
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 1984, 20 (12) : 2303 - 2309
  • [10] Presentation of type 2 diabetes in children and adolescents - A single centre experience
    Yau, Ho-Chung
    Tsang, Jennifer Wing-yan
    Lee, Samantha Lai-ka
    Wong, Gary Wing-kin
    DIABETES RESEARCH AND CLINICAL PRACTICE, 2016, 120 : S82 - S83
12345