( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Guiding an Automated Theorem Prover with Neural Rewriting.

, , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 597-617. Springer, (2022)

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.

Ji Janota

Johannes Janota

Gertrude Janota

 

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

Algorithms for finding dispensable variables, , и . CoRR, (2009)Towards efficient optimization in package management systems., , и . ICSE, стр. 745-755. ACM, (2014)Minimal sets on propositional formulae. Problems and reductions., , и . Artif. Intell., (2017)On the query complexity of selecting minimal sets for monotone predicates., и . Artif. Intell., (2016)On Incremental Core-Guided MaxSAT Solving., , , , , и . CP, том 9892 из Lecture Notes in Computer Science, стр. 473-482. Springer, (2016)A Design of a Configurable Feature Model Configurator., , и . VaMoS, том 29 из ICB Research Report, стр. 165-168. Universität Duisburg-Essen, (2009)Do SAT Solvers Make Good Configurators?. SPLC (2), стр. 191-195. Lero Int. Science Centre, University of Limerick, Ireland, (2008)PackUp: Tools for Package Upgradability Solving., , , и . J. Satisf. Boolean Model. Comput., 8 (1/2): 89-94 (2012)CLOPS: A DSL for Command Line Options., , , , , , и . DSL, том 5658 из Lecture Notes in Computer Science, стр. 187-210. Springer, (2009)New Resolution-Based QBF Calculi and Their Proof Complexity., , и . ACM Trans. Comput. Theory, 11 (4): 26:1-26:42 (2019)