Paradox

swMATH3701MaRDI QIDQ16055FDOQ16055

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Paradox