Concepedia

Matthias Zytnicki

MZ

Statistics

Publications

1

Citations

143

H-Index

1

Active since

2005

Affiliations

Universitat Politècnica de Catalunya(Current)

Matthias Zytnicki is an author at Universitat Politècnica de Catalunya specializing in formal verification, formal methods, and automated reasoning.

Top concepts

Publications per year

2005–2005

1

Publications

1

Existential arc consistency: getting closer to full arc consistency in weighted CSPs

Federico Heras, Simon de Givry, Matthias Zytnicki et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 143 citations

, , +22

1–1 of 1