Digital Library
Close Browse articles from a journal
 
<< previous   
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 11 of 11 found articles
 
 
  Understanding cutting planes for QBFs
 
 
Title: Understanding cutting planes for QBFs
Author: Beyersdorff, Olaf
Chew, Leroy
Mahajan, Meena
Shukla, Anil
Appeared in: Information and computation
Paging: Volume 262 (2018) nr. P1 pages 141-161
Year: 2018
Contents:
Publisher: Elsevier Inc.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 11 of 11 found articles
 
<< previous   
 
 Koninklijke Bibliotheek - National Library of the Netherlands