Travelled to:1 × Italy
1 × Japan
1 × USA
Collaborated with:N.Tamura M.Banbara
Talks about:sat (3) compact (2) encod (2) csp (2) constraint (1) technolog (1) satisfact (1) problem (1) solver (1) effici (1)
Person: Tomoya Tanjo
DBLP: Tanjo:Tomoya
Contributed to:
20122011
2010Wrote 3 papers:
- SAT-2012-TanjoTB #csp #encoding #named #order #satisfiability #using
- Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (TT, NT, MB), pp. 456–462.
- SAT-2011-TanjoTB #csp #encoding #finite #performance
- A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
- FLOPS-2010-TamuraTB #constraints #problem #satisfiability
- Solving Constraint Satisfaction Problems with SAT Technology (NT, TT, MB), pp. 19–23.