The Generalized Subterm Criterion in TTT2
Logic in Computer Science
2016-09-13 v1
Authors:
Christian Sternagel
Abstract
We present an SMT encoding of a generalized version of the subterm criterion and evaluate its implementation in TTT2.
Cite
@article{arxiv.1609.03432,
title = {The Generalized Subterm Criterion in TTT2},
author = {Christian Sternagel},
journal= {arXiv preprint arXiv:1609.03432},
year = {2016}
}
Comments
In Proceedings of 15th International Workshop on Termination (WST 2016)
Related papers
View all related →
Machine Learning · Computer Science
TTML: tensor trains for general supervised machine learning
Bart Vandereycken, Rik Voorhaar
2022-03-10
Computation and Language · Computer Science
Inferring Shallow-Transfer Machine Translation Rules from Small Parallel Corpora
Felipe Sánchez-Martínez, Mikel L. Forcada
2014-01-23
Commutative Algebra · Mathematics
Generalized subresultants and generalized subresultant algorithm
Petr Glotov
2007-05-23
Logic in Computer Science · Computer Science
Normalization for multimodal type theory
Daniel Gratzer
2026-03-25
Computation and Language · Computer Science
Statistical Machine Translation by Generalized Parsing
I. Dan Melamed, Wei Wang
2007-05-23
Optimization and Control · Mathematics
Data Compression: Multi-Term Approach
Pablo Soto-Quiros, Anatoli Torokhti
2021-11-11
Logic in Computer Science · Computer Science
On SMT Theory Design: The Case of Sequences
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024-11-05
Programming Languages · Computer Science
Global Trie for Subterms
João Raimundo, Ricardo Rocha
2011-12-19
Artificial Intelligence · Computer Science
Choose the Final Translation from NMT and LLM hypotheses Using MBR Decoding: HW-TSC's Submission to the WMT24 General MT Shared Task
Zhanglin Wu, Daimeng Wei, Zongyao Li, Hengchao Shang +6
2024-09-24
Computation and Language · Computer Science
Faster decoding for subword level Phrase-based SMT between related languages
Anoop Kunchukuttan, Pushpak Bhattacharyya
2016-11-02
Machine Learning · Computer Science
On the Generalization of SFT: A Reinforcement Learning Perspective with Reward Rectification
Yongliang Wu, Yizhou Zhou, Zhou Ziheng, Yingzhe Peng +6
2026-03-02
Combinatorics · Mathematics
Classification of STGQs, I
Koen Thas
2014-06-17
Logic in Computer Science · Computer Science
TTT2 with Termination Templates for Teaching
Jonas Schöpf, Christian Sternagel
2018-06-14
Machine Learning · Computer Science
Verifying Properties of Tsetlin Machines
Emilia Przybysz, Bimal Bhattarai, Cosimo Persia, Ana Ozaki +2
2023-07-04
Logic in Computer Science · Computer Science
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi, Ruben Martins, Vasco Manquinho
2020-02-21
Computation and Language · Computer Science
Enhanced Simultaneous Machine Translation with Word-level Policies
Kang Kim, Hankyu Cho
2023-10-26
History and Overview · Mathematics
A Generalization of Girstmair's Irreducibility Criterion
Jitender Singh, Sanjeev Kumar
2023-04-28
Logic in Computer Science · Computer Science
Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory
Bruno Barras, Valentin Maestracci
2021-01-12
Computation and Language · Computer Science
Preliminary Ranking of WMT25 General Machine Translation Systems
Tom Kocmi, Eleftherios Avramidis, Rachel Bawden, Ondřej Bojar +24
2025-08-26
Computation and Language · Computer Science
USCORE: An Effective Approach to Fully Unsupervised Evaluation Metrics for Machine Translation
Jonas Belouadi, Steffen Eger
2024-03-05
Computation and Language · Computer Science
Categorizing Semantic Representations for Neural Machine Translation
Yongjing Yin, Yafu Li, Fandong Meng, Jie Zhou +1
2022-10-14
Computation and Language · Computer Science
Neural Machine Translation Advised by Statistical Machine Translation
Xing Wang, Zhengdong Lu, Zhaopeng Tu, Hang Li +2
2017-01-02
Computation and Language · Computer Science
MT Metrics Correlate with Human Ratings of Simultaneous Speech Translation
Dominik Macháček, Ondřej Bojar, Raj Dabre
2023-06-02
Computation and Language · Computer Science
Neural Machine Translation: A Review of Methods, Resources, and Tools
Zhixing Tan, Shuo Wang, Zonghan Yang, Gang Chen +3
2021-01-01
Computation and Language · Computer Science
Transformer-based encoder-encoder architecture for Spoken Term Detection
Jan Švec, Luboš Šmídl, Jan Lehečka
2022-11-03