Naoyuki Tamura
Orcid: 0000-0002-5466-1010
According to our database1,
Naoyuki Tamura
authored at least 48 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2023
Proceedings of the Practical Aspects of Declarative Languages, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023
2019
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res., 2019
2017
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
Int. J. Artif. Intell. Tools, 2017
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2017
2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
2014
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Theory Pract. Log. Program., 2013
CoRR, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
2010
Fundam. Informaticae, 2010
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
2007
Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects.
J. Mobile Multimedia, 2007
2006
Discret. Appl. Math., 2006
2005
Proceedings of the Declarative Programming for Knowledge Management, 2005
Proceedings of the Declarative Programming for Knowledge Management, 2005
2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2001
Proceedings of the Logic Programming, 17th International Conference, 2001
lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
A Static Analysis for Classical Linear Logic Programming Language.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1998
Efficient Implementation of a Linear Logic Programming Language.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
Compiling Resources in a Linear Logic Programming Language.
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998
1996
Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract).
Proceedings of the Logic Programming, 1996
1991
Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking.
Proceedings of the Natural Language Understanding and Logic Programming, 1991
1990
Proceedings of the 13th International Conference on Computational Linguistics, 1990
1987
Proceedings of the Logic Programming '87, 1987
1986
Knowledge-Based Optimization in Prolog Compiler.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986
A Very Fast Prolog Complier on Multiple Architectures.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986
1984
Implementing Parallel Prolog on a Multiprocessor Machine.
Proceedings of the 1984 International Symposium on Logic Programming, 1984
Sequential Prolog Machine PEK.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984