SOFT

MaRDI QIDQ16017swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-642-02677-5_32

Described by source

• Computational tool for a mini-windmill study with SOFT

Cited in

(4)

• Fast summation of functions on the rotation group
• Conditional lexicographic orders in constraint satisfaction problems
• Lexicographically-ordered constraint satisfaction problems
• Propagation via lazy clause generation

This page was built for software: SOFT