Počet záznamů: 1
Bounds on the Size of PC and URC Formulas
SYS 0536433 LBL 01000a^^22220027750^450 005 20240103224956.4 014 $a 85099380435 $2 SCOPUS 014 $a 000606811900034 $2 WOS 017 $a 10.1613/JAIR.1.12006 $2 DOI 100 $a 20201218d m y slo 03 ba 101 $a eng 102 $a US 200 1-
$a Bounds on the Size of PC and URC Formulas 215 $a 26 s. $c P 463 -1
$1 001 cav_un_epca*0253578 $1 011 $a 1076-9757 $e 1943-5037 $1 200 1 $a Journal of Artificial Intelligence Research $v Roč. 69, 24 December (2020), s. 1395-1420 $1 210 $c AAAI Press 610 $a automated reasoning 610 $a knowledge representation 610 $a satisfiability 700 -1
$3 cav_un_auth*0016026 $a Kučera $b P. $y CZ 701 -1
$3 cav_un_auth*0100825 $a Savický $b Petr $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 856 $u http://hdl.handle.net/11104/0314210 $9 RIV
Počet záznamů: 1