Personal tools
You are here: Home / Internal / RISC Forum / 2016 / Risc Colloquium

Risc Colloquium

Prof. Erika Abraham: Symbolic Computation Techniques in Satisfiability Checking
When Nov 14, 2016
from 01:30 PM to 02:30 PM
Add event to calendar vCal
iCal

Satisfiability Checking is a relatively young research area, aiming at the development of efficient software technologies for checking the satisfiability of existentially quantified logical formulas. Besides the success story of SAT solving for propositional logic, SAT-modulo-theories (SMT) solvers offer sophisticated solutions also for different theories. When targeting arithmetic theories, SMT solvers also make use of decision procedures rooted in Symbolic Computation.

In this talk we give a brief introduction to SMT solving, discuss differences to Symbolic Computation, and illustrate the potentials and obstacles for embedding Symbolic Computation techniques in SMT solving on the example of the Cylindrical Algebraic Decomposition.

« June 2025 »
June
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Upcoming Events
RISC Forum Jun 02, 2025 01:30 PM - 01:45 PM
NO RISC Forum Jun 09, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 16, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 23, 2025 01:30 PM - 02:15 PM
RISC Forum Jun 30, 2025 01:30 PM - 01:45 PM — RISC
Previous events…
Upcoming events…