Keyphrases
Additivity
19%
Agnostic
19%
Algebraic Data Types
57%
Arithmetic Operators
9%
Automated Reasoning
44%
Barrett
19%
Bit Vector
28%
Bit-blasting
9%
Bit-width
30%
Blockchain
12%
C + +
19%
Calculus
19%
Checkers
9%
Code-based
9%
Combined Method
16%
Computer Science
19%
Cut Elimination
19%
Cut-elimination Theorem
28%
Disjoint
19%
Embeddable
19%
Extended Abstracts
19%
First-order
19%
Four-valued Logic
38%
Integer Arithmetic
9%
Kripke Completeness
19%
Libra
12%
Major Components
9%
Major Features
9%
Modal
19%
Modal Logic
19%
Modal Logic S4
9%
Nelson-Oppen
11%
Non-deterministic Matrices
19%
Normal Modal Logics
9%
Order Extension
9%
Order Ideal
19%
Paraconsistent
38%
Politeness
70%
Postdoctoral Scholars
19%
Propositional Formula
9%
Prover
19%
Rewrite Rules
13%
SAT-based
13%
Satisfiability Modulo Theories
100%
Smart Contract Verification
13%
SMT Solver
58%
SMT Solving
23%
SMT-LIB
14%
Stanford University
19%
Tel Aviv
19%
Computer Science
Abstract Interface
19%
Alternative Technique
19%
Architectural Design
19%
Arithmetic Operator
19%
Automated Reasoning
76%
Bit Vector
38%
Blockchain
19%
Combination Method
38%
Data Structure
19%
Formal Specification
9%
Formal Verification
28%
Normal Modal Logic
19%
Open Source
19%
Propositional Formula
19%
Rewrite Rule
23%
Sequent Calculus
38%
Smart Contract
38%
System Description
19%
Valued Semantics
19%
Vector Operation
19%
Verification System
9%