BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Finland
1 × Hungary
1 × Japan
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:
M.Banbara T.Tanjo K.Kang J.S.Hodas T.Soh K.Inoue Y.Kaneda T.Hirai K.M.Watkins T.Schaub
Talks about:
program (6) logic (6) linear (4) sat (4) implement (3) languag (3) constraint (2) compact (2) classic (2) effici (2)

Person: Naoyuki Tamura

DBLP DBLP: Tamura:Naoyuki

Contributed to:

ICLP 20132013
SAT 20132013
ICLP 20122012
SAT 20122012
SAT 20112011
FLOPS 20102010
ICLP 20012001
IJCAR 20012001
ICLP 19991999
JICSLP 19981998
SLP 19841984

Wrote 12 papers:

ICLP-J-2013-BanbaraSTIS #modelling #programming #set
Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
SAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.
ICLP-2012-BanbaraTI #generative #matrix #programming #testing
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
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.
ICLP-2001-BanbaraKHT #linear #logic programming
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic (MB, KSK, TH, NT), pp. 315–330.
IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving
lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.
ICLP-1999-KangT #linear #logic programming #programming language #static analysis
A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
SLP-1984-TamuraK84 #implementation #parallel #prolog
Implementing Parallel Prolog on a Multiprocessor Machine (NT, YK), pp. 42–48.
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.