( en | de | ru )

 

Disambiguation of "Tanjo, Tomoya"

Author of the publication

copydeleteadd this publication to your clipboard
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).

, , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 456-462. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tanjo Jankoff

Tomoya Wada

Tammam Tanjour

Fadia Tanjour

Ismail Tanjour

 

Other publications of authors with the same name

A Portable Load Balancer with ECMP Redundancy for Container Clusters., , , , and . IEICE Trans. Inf. Syst., 102-D (5): 974-987 (2019)A Portable Load Balancer for Kubernetes Cluster., , , and . HPC Asia, page 222-231. ACM, (2018)Virtual Cloud Service System for Building Effective Inter-Cloud Applications., , , , , , and . CloudCom, page 296-303. IEEE Computer Society, (2017)Evaluating data utility of privacy-preserving pseudonymized location datasets., , , and . J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 5 (3): 63-78 (2014)Solving Constraint Satisfaction Problems with SAT Technology., , and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 19-23. Springer, (2010)Core Challenge 2023: Solver and Graph Descriptions., , , and . CoRR, (2023)A Compact and Efficient SAT-Encoding of Finite Domain CSP., , and . SAT, volume 6695 of Lecture Notes in Computer Science, page 375-376. Springer, (2011)Dynamic Framework for Reconfiguring Computing Resources in the Inter-cloud and Its Application to Genome Analysis Workflows., , , , and . IDCS, volume 11226 of Lecture Notes in Computer Science, page 160-172. Springer, (2018)On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems., , , and . ICT-EurAsia, volume 8407 of Lecture Notes in Computer Science, page 511-520. Springer, (2014)DNA Data Bank of Japan (DDBJ) update report 2022., , , , , , and . Nucleic Acids Res., 51 (D1): 101-105 (January 2023)