Scarab: Advanced Solving Techniques

Developers can Construct their own SAT-based Systems.

Customizing Alldiff Constraint

Experimental Results for Latin Square

Modeling Search Strategies

Author: Takehide Soh

Created: 2019-02-11 月 15:00

Validate