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: 2015-12-14 月 12:28

Emacs 24.3.1 (Org mode 8.2.10)

Validate