Books
Contributors
Covers
Sign In
Ofer Strichman
X
LinkedIn
Author
Decision Procedures
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures
Edit this contributor
Destroy this contributor
Back to contributors
 translate(0.5 0.5)' filter='url(%23b)'> <g transform='translate(25.328426 23.081901) rotate(330.168269) scale(83.669253 42.695689)'> <ellipse fill='%23ff479e' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%2311004d' fill-opacity='0.501961' cx='120' cy='61' rx='71' ry='34'/> <ellipse fill='%23ff6987' fill-opacity='0.501961' cx='28' cy='11' rx='40' ry='30'/> <ellipse fill='%23075252' fill-opacity='0.501961' cx='76' cy='237' rx='96' ry='96'/> <g transform='translate(112.916820 122.140536) rotate(266.723307) scale(27.601036 94.662413)'> <ellipse fill='%23579693' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%23e12115' fill-opacity='0.501961' points='126.575328,88.773411,170.630145,93.335886,163.513949,76.256827,126.363087,56.737485'/> <g transform='translate(149.596012 15.770380) rotate(37.940143) scale(57.845933 14.133937)'> <ellipse fill='%23a50242' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(105.987770 55.903972) rotate(133.770720) scale(49.664382 24.917097)'> <ellipse fill='%2300136a' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(0 106) rotate(-88) scale(27 13)'> <rect fill='%23ff3200' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <ellipse fill='%23ffd4df' fill-opacity='0.501961' cx='10' cy='2' rx='20' ry='15'/> <polygon fill='%236f0d5c' fill-opacity='0.501961' points='-16,79 47,95 85,33'/> <ellipse fill='%232d5964' fill-opacity='0.501961' cx='144' cy='164' rx='170' ry='23'/> <g transform='translate(124.039170 0.000000) rotate(249.816655) scale(15.916481 51.186589)'> <ellipse fill='%237b2298' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%23ff392e' fill-opacity='0.501961' points='17,-16 106,-16 43,19'/> <ellipse fill='%23a07d76' fill-opacity='0.501961' cx='66' cy='161' rx='47' ry='3'/> </g></svg>)
 translate(0.5 0.5)' filter='url(%23b)'> <g transform='translate(32.253985 27.901353) rotate(196.296958) scale(50.602055 15.055894)'> <ellipse fill='%23ff324b' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(39.441996 0.000000) rotate(192.926273) scale(94.761184 17.944760)'> <ellipse fill='%2372fcf6' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(4.003263 120.049128) rotate(-1.624617) scale(77.401571 45.858211)'> <ellipse fill='%23154b5c' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%23fc0000' fill-opacity='0.501961' points='3.879842,32.413056,10.028582,36.532730,-16.000000,68.214973,11.090738,67.356455'/> <g transform='translate(97.437468 22.939144) rotate(265.439439) scale(10.118983 34.652133)'> <ellipse fill='%23008ecb' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(24.342711 15.175569) rotate(278.669447) scale(8.462895 33.000232)'> <ellipse fill='%23ea817c' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%23c20530' fill-opacity='0.501961' points='105.024484,46.804093,32.324713,20.253014,12.750440,20.251649,55.643276,47.156390'/> <polygon fill='%23681a8e' fill-opacity='0.501961' points='115.000000,31.309764,101.651006,48.401717,72.204000,44.249439,65.914557,29.683793'/> <rect fill='%2392b0b1' fill-opacity='0.501961' x='12' y='69' width='54' height='8'/> <rect fill='%2396b8b9' fill-opacity='0.501961' x='18' y='55' width='36' height='7'/> <ellipse fill='%233b6774' fill-opacity='0.501961' cx='81' cy='97' rx='30' ry='51'/> <rect fill='%23a44987' fill-opacity='0.501961' x='0' y='33' width='44' height='14'/> <g transform='translate(11 68) rotate(269) scale(55 5)'> <rect fill='%23162f4a' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <ellipse fill='%2372acb8' fill-opacity='0.501961' cx='34' cy='85' rx='25' ry='2'/> <polygon fill='%23e71800' fill-opacity='0.501961' points='-16,48 6,68 9,47'/> </g></svg>)
 translate(0.5 0.5)' filter='url(%23b)'> <g transform='translate(30.290825 24.689388) rotate(227.260509) scale(40.870744 168.000000)'> <ellipse fill='%23ff0278' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%230b6c7c' fill-opacity='0.501961' cx='81' cy='197' rx='114' ry='114'/> <g transform='translate(100.075370 110.642419) rotate(265.019007) scale(25.808634 84.037913)'> <ellipse fill='%237596aa' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <rect fill='%236b004f' fill-opacity='0.501961' x='65' y='0' width='104' height='86'/> <g transform='translate(35.400616 5.268026) rotate(7.484059) scale(49.606374 27.410021)'> <ellipse fill='%23ff428c' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(22.248011 229.365188) rotate(190.789300) scale(168.000000 72.933911)'> <ellipse fill='%23044161' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(145.546361 71.818772) rotate(382.566812) scale(23.207497 12.023218)'> <ellipse fill='%23d40e0a' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(70.522305 60.687470) rotate(75.011972) scale(20.358581 92.688281)'> <ellipse fill='%23400f61' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(0 99) rotate(91) scale(23 15)'> <rect fill='%23ff0000' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <g transform='translate(147.459778 4.128051) rotate(210.412059) scale(32.302969 12.567741)'> <ellipse fill='%23b50625' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%2390aab5' fill-opacity='0.501961' points='98.326098,98.801285,49.508745,134.127598,128.885250,133.539989,30.095471,102.668994'/> <rect fill='%238c63a4' fill-opacity='0.501961' x='58' y='13' width='44' height='15'/> <g transform='translate(9.995916 0.000000) rotate(83.429958) scale(14.443672 26.805488)'> <ellipse fill='%23fb959d' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(105.335798 48.078882) rotate(41.244156) scale(21.366504 47.640886)'> <ellipse fill='%232e176e' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%23225274' fill-opacity='0.501961' cx='87' cy='117' rx='167' ry='6'/> </g></svg>)