most citedZ3-Noodler: An Automata-based String Solver (Technical Report)

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2016

A Note on One Less Known Class of Generated Residual Implications

Vojtěch Havlena, Dana Hliněná

This paper builds on our contribution [Havlena and Hlinena, 2016] which studied modelling of the conjunction in human language. We have discussed three different ways of constructi…