Author: "Teruyama, Junichi" / Journal: algorithmica / Search Limiters: Peer Reviewed - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Teruyama, Junichi"' showing total 2 results

Start Over Author "Teruyama, Junichi" Search Limiters Peer Reviewed Journal algorithmica

2 results on '"Teruyama, Junichi"'

1. A Moderately Exponential Time Algorithm for k-IBDD Satisfiability

Author: Nagao, Atsuki, Seto, Kazuhisa, and Teruyama, Junichi
Published: 2018
Full Text: View/download PDF

2. A Moderately Exponential Time Algorithm for k-IBDD Satisfiability

Author: Nagao, Atsuki, primary, Seto, Kazuhisa, additional, and Teruyama, Junichi, additional
Published: 2017
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results