Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Splitting Algorithm of Valuation Algebra and Its Application in Automaton Representation of Semiring Valued Constraint Problems

    A splitting algorithm is developed for solving single-query projection problems in valuation algebras. This method is based on a generalized combination theorem. It is shown that by using this new kind of comb...

    Bang-He Han, Yong-Ming Li, Qiong-Na Chen in Quantitative Logic and Soft Computing 2016 (2017)