( en | de | ru )

 

Disambiguation of "Sakai, Masahiko"

Author of the publication

copydeleteadd this publication to your clipboard
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.

, and . IEICE Trans. Inf. Syst., 98-D (6): 1121-1127 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hajime Sakai

Masahiko Isaji

Winfried Sakai

Noriyuki Sakai

Asato Sakai

 

Other publications of authors with the same name

Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems, , , and . CoRR, (2011)Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent., and . Inf. Process. Lett., 110 (18-19): 810-814 (2010)Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity, , and . Log. Methods Comput. Sci., (2012)8+8=4: Formalizing Time Units to Handle Symbolic Music Durations., , , , , and . CoRR, (2023)Completion after Program Inversion of Injective Functions., and . WRS@RTA, volume 237 of Electronic Notes in Theoretical Computer Science, page 39-56. Elsevier, (2008)Transformation for Refining Unraveled Conditional Term Rewriting Systems., , and . WRS@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 75-95. Elsevier, (2006)Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers., , , and . WPTE@FSCD, volume 265 of EPTCS, page 82-97. (2017)Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems., , and . WPTE@FSCD, volume 235 of EPTCS, page 62-77. (2016)An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems., , and . WPTE@FSCD, volume 235 of EPTCS, page 46-61. (2016)On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms., , and . TTATT, volume 134 of EPTCS, page 1-10. (2013)