Exploring Partial Models with SCL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Bromberger, Simon Schwarz, Christoph Weidenbach. Exploring Partial Models with SCL. In Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, pages 48-72, EasyChair, 2023. [doi]

This author has not been identified. Look up 'Martin Bromberger' in GoogleThis author has not been identified. Look up 'Simon Schwarz' in GoogleThis author has not been identified. Look up 'Christoph Weidenbach' in Google

runs on WebDSL