Number of the records: 1
Representations of monotone Boolean functions by linear programs
SYS 0511322 LBL 01000a^^22220027750^450 005 20240103222942.2 014 $a 85075615893 $2 SCOPUS 014 $a 000496750000004 $2 WOS 017 $a 10.1145/3337787 $2 DOI 100 $a 20191120d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Representations of monotone Boolean functions by linear programs 215 $a 31 s. 463 -1
$1 001 cav_un_epca*0430343 $1 011 $a 1942-3454 $1 200 1 $a ACM Transactions on Computation Theory $v Roč. 11, č. 4 (2019) $1 210 $c Association for Computing Machinery 610 $a monotone linear programming circuits 610 $a Lovász-Schrijver proof systems 610 $a feasible interpolation 700 -1
$3 cav_un_auth*0382854 $4 070 $a de Oliveira Oliveira $b M. $y NO 701 -1
$3 cav_un_auth*0100699 $4 070 $a Pudlák $b Pavel $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i. 856 $9 RIV $u http://dx.doi.org/10.1145/3337787
Number of the records: 1