Cobra: A Tool for Solving General Deductive Games

DOI10.1007/978-3-662-48899-7_3zbMath1471.68272OpenAlexW2262939708MaRDI QIDQ3460038

Miroslav Klimoš, Antonín Kučera

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_3

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Cobra

Uses Software

• MiniSat
• PicoSAT