| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 09 Aug 2025 04:56:24 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"6896d4f8-b19"
expires: Mon, 19 Jan 2026 02:58:09 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 54DA:38CBC1:260949:2D0263:696D9B69
accept-ranges: bytes
age: 0
date: Mon, 19 Jan 2026 02:48:09 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210085-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768790889.355068,VS0,VE247
vary: Accept-Encoding
x-fastly-request-id: 8ac98ca6388b18b2f83321eec87993e8e0c2b1b3
content-length: 1208
Ph.D. | Ahmed Irfan
Ahmed Irfan
Ph.D.
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. University of Trento and Fondazione Bruno Kessler, 2018. PDF