SOFT

swMATH3485MaRDI QIDQ16017FDOQ16017

Author name not available (Why is that?)

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