Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3

Results

Title:	Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
Authors:	Marić, Filip ; Janičić, Predrag ; Maliković, Marko
Issue Date:	2015
Publication:	Automated Deduction - CADE-25, 25th International Conference on Automated Deduction
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Publisher:	Berlin : Springer
Type:	Conference Paper
ISBN:	978-3-319-21400-9 Search Idenfier
Collation:	str. 256-271
DOI:	10.1007/978-3-319-21401-6_17
WoS-ID:	000363947500017
Scopus-ID:	2-s2.0-84984652741
URI:	https://enauka.gov.rs/handle/123456789/456088
Metadata source:	Migrirano iz RIS podataka
M-category:	Mp. category will be shown later

2
SCOPUS^TM

1
OpenCitations

2
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM