Paradox

MaRDI QIDQ16055swMATHFDO

Official website http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/

Cited in

(3)

• On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
• Computing finite models by reduction to function-free clause logic
• Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

This page was built for software: Paradox