Semiring-Valued Satisfiability

Lecture Notes in Computer Science - AI 2003: Advances in Artificial Intelligence ◽

10.1007/978-3-540-24581-0_34 ◽

2003 ◽

pp. 402-413

Author(s):

Katarina Britz ◽

Johannes Heidema

Download Full-text