Stem azucar$ (all stems)

1 papers:

SAT-2012-TanjoTB #csp #encoding #named #order #satisfiability #using

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (Tool Presentation) (TT, NT, MB), pp. 456–462.