Author: "Teruyama, Junichi" / Publication Type: Academic Journals / Topic: satisfiability - 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" Topic satisfiability Publication Type Academic Journals

2 results on '"Teruyama, Junichi"'

1. Satisfiability Algorithm for Syntactic Read-k-times Branching Programs

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

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

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

Catalog

Books, media, physical & digital resources

See catalog results