( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Backtracking-Based Algorithm for Computing Hypertree-Decompositions

, и . CoRR, (2007)

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.

Marko Samer

Stefan Samerski

Eduard Sämer

Lothar Samerski

Josef Samereier

 

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

A Syntactic Characterization of Distributive LTL Queries., и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 1099-1110. Springer, (2004)Hypertree-decomposition via Branch-decomposition.. IJCAI, стр. 1535-1536. Professional Book Center, (2005)Tractable cases of the extended global cardinality constraint., и . Constraints An Int. J., 16 (1): 1-24 (2011)Fixed-Parameter Tractability., и . Handbook of Satisfiability, том 336 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)Tractable Cases of the Extended Global Cardinality Constraint., и . CATS, том 77 из CRPIT, стр. 67-74. Australian Computer Society, (2008)On the Notion of Vacuous Truth., и . LPAR, том 4790 из Lecture Notes in Computer Science, стр. 2-14. Springer, (2007)Constraint Satisfaction with Bounded Treewidth Revisited., и . CP, том 4204 из Lecture Notes in Computer Science, стр. 499-513. Springer, (2006)Validity of CTL Queries Revisited., и . CSL, том 2803 из Lecture Notes in Computer Science, стр. 470-483. Springer, (2003)From Temporal Logic Queries to Vacuity Detection., и . VISSAS, том 1 из NATO Security through Science Series D: Information and Communication Security, стр. 149-167. IOS Press, (2005)Variable Dependencies of Quantified CSPs.. LPAR, том 5330 из Lecture Notes in Computer Science, стр. 512-527. Springer, (2008)