Author of the publication

Automatic Evaluation of Reductions between NP-Complete Problems.

, , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 415-421. Springer, (2014)

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.

No persons found for author name Creus, Carles
add a person with the name Creus, Carles
 

Other publications of authors with the same name

The HOM Problem is EXPTIME-Complete., , , and . SIAM J. Comput., 45 (4): 1230-1260 (2016)Context-Aware Neural Machine Translation Decoding., , and . DiscoMT@EMNLP, page 13-23. Association for Computational Linguistics, (2019)Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints., , and . J. Autom. Reasoning, 51 (4): 371-400 (2013)Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories, , , , and . Logical Methods in Computer Science, (2013)One-context Unification with STG-Compressed Terms is in NP., , and . RTA, volume 15 of LIPIcs, page 149-164. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)Interactive inspection of complex multi-object industrial assemblies., , , , , , and . Computer-Aided Design, (2016)Using Word Embeddings to Enforce Document-Level Lexical Consistency in Machine Translation., , , and . Prague Bull. Math. Linguistics, (2017)Automatic Evaluation of Context-Free Grammars (System Description)., and . RTA-TLCA, volume 8560 of Lecture Notes in Computer Science, page 139-148. Springer, (2014)Non-Linear Rewrite Closure and Weak Normalization., , , and . J. Autom. Reasoning, 51 (3): 281-324 (2013)R4: Realistic rain rendering in realtime., and . Computers & Graphics, 37 (1-2): 33-40 (2013)