( en | de | ru )

 

Disambiguation of "Kusper, Gábor"

Author of the publication

copydeleteadd this publication to your clipboard
Experiments with Automated Reasoning in the Class.

, , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 287-304. 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. You can also use the button next to the name to display some publications already assigned to the person.

Tibor Gábori

Gábor Hegyi

Gábor Köller

Gábor Kiss

Gábor Vészi

 

Other publications of authors with the same name

Experiments with Automated Reasoning in the Class., , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 287-304. Springer, (2022)Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples., , , , , and . CogInfoCom, page 359-364. IEEE, (2020)Adaption of NNS classification to domain of category values., and . SISY, page 299-303. IEEE, (2013)Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.. KI, volume 4314 of Lecture Notes in Computer Science, page 128-142. Springer, (2006)Solving the resolution-free SAT problem by submodel propagation in linear time.. Ann. Math. Artif. Intell., 43 (1): 129-136 (2005)Integrating Temporal Assertions into a Parallel Debugger., , , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 113-120. Springer, (2002)Metamodels in generation of UML using NLI-based dialog., , and . SACI, page 29-34. IEEE, (2009)How to generate weakly nondecisive SAT instances., , and . SISY, page 265-269. IEEE, (2013)Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle., and . SYNASC, page 189-190. IEEE Computer Society, (2015)The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs., , and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 24-29. CEUR-WS.org, (2020)