An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail. An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. In Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani, editors, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Volume 10900 of Lecture Notes in Computer Science, pages 1-18, Springer, 2018. [doi]

This author has not been identified. Look up 'Jean-Marie Lagniez' in GoogleThis author has not been identified. Look up 'Daniel Le Berre' in GoogleThis author has not been identified. Look up 'Tiago De Lima' in GoogleThis author has not been identified. Look up 'Valentin Montmirail' in Google

runs on WebDSL