15 citations · 15 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 15 cited
Subtropical Satisfiability
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm +1
Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding const…
cs.LO2015
Confluence of Layered Rewrite Systems
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems…