most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT

Vincent Corlay, David Bekri, Marie-Anne Lacroix +6

Life Cycle Assessment (LCA) is increasingly used to quantify and regulate the environmental impacts of Information and Communication Technology (ICT) systems. Since direct biospher…