SOFT

swMATH3485MaRDI QIDQ16017FDOQ16017

Author name not available (Why is that?)

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