Abstract | ||
---|---|---|
We present a learning tool that addresses competences in using propositional logic for modelling purposes. It provides a language for specifying parametrised propositional formula schemes, a backend tool using an incremental SAT solver to exemplify instances of such a scheme to a user learning how to write correct propositional formulas, and a web-based frontend for easy access. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1007/978-3-030-80223-3_17 | THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021 |
DocType | Volume | ISSN |
Conference | 12831 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Norbert Hundeshagen | 1 | 21 | 4.86 |
Martin Lange | 2 | 111 | 9.54 |
Georg Siebert | 3 | 0 | 0.34 |