Počet záznamů: 1
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
SYS 0480888 LBL 01000a^^22220027750^450 005 20240103214859.5 014 $a 85031938657 $2 SCOPUS 017 $a 10.24963/ijcai.2017/721 $2 DOI 100 $a 20171104d m y slo 03 ba 101 $a eng 102 $a DE 200 1-
$a Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract) 215 $a 5 s. $c E 463 -1
$1 001 cav_un_epca*0480887 $1 010 $a 978-0-9992411-0-3 $1 200 1 $a Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence $v S. 5055-5059 $1 210 $a Freiburg $c IJCAI $d 2017 $1 702 1 $4 340 $a Sierra $b C. 610 0-
$a conjunctive normal form 610 0-
$a matched formula 610 0-
$a pure literal satisfiable formula 700 -1
$3 cav_un_auth*0100825 $a Savický $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0016026 $a Kučera $b P. $y CZ 856 $u https://www.ijcai.org/proceedings/2017/0721.pdf
Počet záznamů: 1