( en | de | ru )

 

Disambiguation

From post

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

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

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.

Martina Seidl

Maximilian Seidl

Zeitliche Charakterisierung der insulinabhängigen Tyrosinphosphorylierung des Insulinrezeptors, IRS 1 und der PI3-Kinasebindung in primären Maushepatocyten. Uni Freiburg, (2009)

Sandra Seidl

Kristof Seidl

Stephanie Seidl

 

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

A feature-based classification of formal verification techniques for software models., , , , и . Softw. Syst. Model., 18 (1): 473-498 (2019)Search-Space Pruning with Int-Splits for Faster QBF Solving., , , и . CoRR, (2023)New ways to multiply 3 × 3-matrices., , и . J. Symb. Comput., (2021)On the maximal minimal cube lengths in distinct DNF tautologies., , и . CoRR, (2019)Colex: a web-based collaborative conflict lexicon., , , , и . IWMCP@ICMT, стр. 42-49. ACM, (2010)Towards end-user adaptable model versioning: The By-Example Operation Recorder., , , и . CVSM@ICSE, стр. 55-60. IEEE Computer Society, (2009)QRAT Polynomially Simulates ∀ -Exp+Res., и . SAT, том 11628 из Lecture Notes in Computer Science, стр. 193-202. Springer, (2019)A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas., , и . FTSCS, том 1165 из Communications in Computer and Information Science, стр. 127-132. Springer, (2019)A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications., , и . ACM Commun. Comput. Algebra, 53 (3): 118-121 (2019)Notes from the Guest Editors., и . J. Satisf. Boolean Model. Comput., 11 (1): 1 (2019)