BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tanjo:Tomoya

Contributed to:

SAT 20122012
SAT 20112011
FLOPS 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.