Search results for: Naoyuki Tamura
Annals of Operations Research > 2019 > 275 > 1 > 3-37
Energy Procedia > 2017 > 131 > C > 203-207
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2006 > Regular Papers > 590-603
Lecture Notes in Computer Science > Automated Reasoning > Automata, Specification, Verification, and Logics of Programs > 670-684
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 112-126
Lecture Notes in Computer Science > Declarative Programming for Knowledge Management > Frontier Technologies > 81-87
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2011 > Extended Abstracts > 375-376
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Poster Papers > 920-924
Lecture Notes in Computer Science > Declarative Programming for Knowledge Management > Frontier Technologies > 1-11
ESO ASTROPHYSICS SYMPOSIA > Globular Clusters - Guides to Galaxies > Globular Cluster Systems in Early-Type Galaxies > 287-291
Carbohydrate Polymers > 2014 > 100 > Complete > 74-79
Carbohydrate Polymers > 2013 > 97 > 2 > 413-420
Carbohydrate Polymers > 2010 > 81 > 3 > 592-598