Volume: Vol-3835 NMR 2024 | Year: 2024

Paper: « paper13 | paper14 | paper15 »

Using SAT and Partial MaxSAT for Reasoning with System Z and System W

• Jonas Philipp Haldimann ORCID dblp
• Aron Spang dblp
• Christoph Beierle ORCID dblp

132-141 PDF