Search

Omega-krr Group

Omega-krr Group

News
People
Current People Alumni
Events
Research
Publication Thesis Honor Projects Patents Software copyrights
Contact

Light Dark Automatic

Satisfiability Threshold of Random Propositional S5 Theories.

Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou

January 2024

Type

Journal article

Publication

Axioms

© 2026 Omega-krr Group. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite