( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning with Quantified Boolean Formulas.

, , и . Handbook of Satisfiability, том 185 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Giordano Paolo

Richard Marin

Else Marin

Denise Marin

Dalia Marin

 

Другие публикации лиц с тем же именем

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows., , , , и . Fundam. Informaticae, 149 (1-2): 133-158 (2016)sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning., , и . SAT, том 6175 из Lecture Notes in Computer Science, стр. 85-98. Springer, (2010)Preprocessing Techniques for QBFs., , и . RCRA, том 451 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Reasoning with Quantified Boolean Formulas., , и . Handbook of Satisfiability, том 336 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)Reasoning with Quantified Boolean Formulas., , и . Handbook of Satisfiability, том 185 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)An Empirical Perspective on Ten Years of QBF Solving., , , , и . RCRA@AI*IA, том 1451 из CEUR Workshop Proceedings, стр. 62-75. CEUR-WS.org, (2015)