Počet záznamů: 1
SAT Modulo Differential Equation Simulations
SYS 0531242 LBL 01000a^^22220027750^450 005 20240103224252.6 014 $a 85087276051 $2 SCOPUS 017 $a 10.1007/978-3-030-50995-8_5 $2 DOI 100 $a 20200729d m y slo 03 ba 101 $a eng 102 $a CH 200 1-
$a SAT Modulo Differential Equation Simulations 215 $a 20 s. $c P 463 -1
$1 001 cav_un_epca*0531241 $1 010 $a 978-3-030-50994-1 $1 011 $a 0302-9743 $1 200 1 $a Tests and Proofs $v S. 80-99 $1 210 $a Cham $c Springer $d 2020 $1 225 $a Lecture Notes on Computer Science $i 12165 $1 702 $a Ahrendt $b W. $4 340 $1 702 1 $4 340 $a Wehrheim $b H. 610 $a constraint solving 610 $a Boolean satisfiability 610 $a formal verification 700 -1
$3 cav_un_auth*0394150 $a Kolárik $b T. $y CZ 701 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $p UIVT-O $i Oddělení výpočetní matematiky $j Department of Computational Mathematics $w Department of Computational Mathematics $y AT $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1