Help
RSS
API
Feed
Maltego
Contact
Domain > www.decision-procedures.org
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2015-04-07
54.231.66.92
(
ClassC
)
2015-06-30
54.231.17.244
(
ClassC
)
2015-11-28
54.231.0.140
(
ClassC
)
2025-06-25
185.199.110.153
(
ClassC
)
2026-02-09
185.199.109.153
(
ClassC
)
Port 80
HTTP/1.1 200 OKConnection: keep-aliveContent-Length: 4530Server: GitHub.comContent-Type: text/html; charsetutf-8Last-Modified: Thu, 15 Sep 2022 13:48:53 GMTAccess-Control-Allow-Origin: *ETag: 63232d45 html>head>STYLE TYPEtext/css>!--.dec_header{background-image:url(decision_procedures_header.png);background-color:blue;color:white;font-family:sans-serif;font-weight:600;}.navlink A:link { color: white; text-decoration:none; }.navlink A:visited { color: white; text-decoration:none; }.navlink A:hover,.navlink A:active { color: white; text-decoration:underline; }-->/STYLE>STYLE TYPEtext/css>!--.justified { text-align:justify; }-->/STYLE>title>Decision Procedures -- An Algorithmic Point of View/title>/head>body bgcolor#ffffff>table CELLPADDING8 CELLSPACING0 CLASSdec_header>tr height110>td width700> /td>/tr>tr>td classnavlink> a href/toc/>Table of Contents/a> | a href/slides/>Slides and Extra Reading/a> | a href/projects/>Projects/a> | a href/software/>Software Download/a>/td>/tr>/table>p>table>tr>td colspan3>font size+1 faceArial,Helvetica>By ahrefhttps://www.kroening.com/>Daniel Kroening/a> anda hrefhttps://iew3.technion.ac.il/Home/Users/ofers.phtml>Ofer Strichman/a>/font>/td>/tr>tr height20>/tr>tr>td aligncenter valigntop>a hrefcover2_medium.png>img srccover2_small.png border0>/a>br>font size-2 faceArial, Helvetica>a hrefcover2_medium.png>(click to enlarge)/a>/font>/td>td width20>/td>td width580>p classjustified>A i>decision procedure/i> is an algorithm that, given a decision problem,terminates with a correct yes/no answer. Here, the authors focus ontheories that are expressive enough to model real problems, but are stilldecidable. Specifically, the book concentrates on decision procedures forfirst-order theories that are commonly used in automated verification andreasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theoryand logic, and are routinely used in industry./p>p classjustified>The authors introduce the basic terminology of SAT, Satisfiability ModuloTheories (SMT) and the DPLL(T) framewo
Port 443
HTTP/1.1 200 OKConnection: keep-aliveContent-Length: 4530Server: GitHub.comContent-Type: text/html; charsetutf-8Last-Modified: Thu, 15 Sep 2022 13:48:53 GMTAccess-Control-Allow-Origin: *ETag: 63232d45 html>head>STYLE TYPEtext/css>!--.dec_header{background-image:url(decision_procedures_header.png);background-color:blue;color:white;font-family:sans-serif;font-weight:600;}.navlink A:link { color: white; text-decoration:none; }.navlink A:visited { color: white; text-decoration:none; }.navlink A:hover,.navlink A:active { color: white; text-decoration:underline; }-->/STYLE>STYLE TYPEtext/css>!--.justified { text-align:justify; }-->/STYLE>title>Decision Procedures -- An Algorithmic Point of View/title>/head>body bgcolor#ffffff>table CELLPADDING8 CELLSPACING0 CLASSdec_header>tr height110>td width700> /td>/tr>tr>td classnavlink> a href/toc/>Table of Contents/a> | a href/slides/>Slides and Extra Reading/a> | a href/projects/>Projects/a> | a href/software/>Software Download/a>/td>/tr>/table>p>table>tr>td colspan3>font size+1 faceArial,Helvetica>By ahrefhttps://www.kroening.com/>Daniel Kroening/a> anda hrefhttps://iew3.technion.ac.il/Home/Users/ofers.phtml>Ofer Strichman/a>/font>/td>/tr>tr height20>/tr>tr>td aligncenter valigntop>a hrefcover2_medium.png>img srccover2_small.png border0>/a>br>font size-2 faceArial, Helvetica>a hrefcover2_medium.png>(click to enlarge)/a>/font>/td>td width20>/td>td width580>p classjustified>A i>decision procedure/i> is an algorithm that, given a decision problem,terminates with a correct yes/no answer. Here, the authors focus ontheories that are expressive enough to model real problems, but are stilldecidable. Specifically, the book concentrates on decision procedures forfirst-order theories that are commonly used in automated verification andreasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theoryand logic, and are routinely used in industry./p>p classjustified>The authors introduce the basic terminology of SAT, Satisfiability ModuloTheories (SMT) and the DPLL(T) framewo
View on OTX
|
View on ThreatMiner
Please enable JavaScript to view the
comments powered by Disqus.
Data with thanks to
AlienVault OTX
,
VirusTotal
,
Malwr
and
others
. [
Sitemap
]