Browsing by Author Koslowe, Hillel
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 8-Aug-2022 | The King-Pawn Chess Game: A Logical Analysis Using Satisfiability Modulo Theories | Koslowe, Hillel |
| Issue Date | Title | Author(s) |
|---|---|---|
| 8-Aug-2022 | The King-Pawn Chess Game: A Logical Analysis Using Satisfiability Modulo Theories | Koslowe, Hillel |