FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
AI Safety	Goose: A Meta Solver for Deep Neural Network Verification
Algorithm Selection	Goose: A Meta Solver for Deep Neural Network Verification
Arithmetic Circuits	On Satisfiability of Polynomial Equations over Large Prime Fields
Arrays	CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
automated reasoning	cvc5: A Versatile and Industrial-Strength SMT Solver
B
benchmarks	SMT-Lib Update Report
Bit-precise Reasoning	Bit-Precise Reasoning via Int-Blasting
Bit-Vector Reasoning	Local Search for Bit-Precise Reasoning and Beyond
Bit-vectors	Bit-Precise Reasoning via Int-Blasting
C
CDSAT	CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
Competition	SMT-COMP Report and Tool Presentations
component based modeling	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Constrained Horn Clauses	An SMT-LIB Theory of Heaps
Constraint Solving	cvc5: A Versatile and Industrial-Strength SMT Solver
E
Ethereum	On Satisfiability of Polynomial Equations over Large Prime Fields
Experimental evaluation	Trail saving in SMT
F
finite fields	An SMT Approach for Solving Polynomials over Finite Fields
Fuzzing	Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
I
Integer encoding	Bit-Precise Reasoning via Int-Blasting
K
keyword1	Panel discussion "SMT: Past, Present and Future" Business Meeting
keyword2	Panel discussion "SMT: Past, Present and Future" Business Meeting
keyword3	Panel discussion "SMT: Past, Present and Future"
L
language	The VMT-LIB Language and Tools
Large Prime Fields	On Satisfiability of Polynomial Equations over Large Prime Fields
lazy encoding	User-Propagators for Custom Theories in SMT Solving
Local Search	Local Search for Bit-Precise Reasoning and Beyond
M
Meta Logic Solving	Goose: A Meta Solver for Deep Neural Network Verification
model checking	The VMT-LIB Language and Tools NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
N
Neural Network Verification	Goose: A Meta Solver for Deep Neural Network Verification
non-linear reasoning	An SMT Approach for Solving Polynomials over Finite Fields
Nondisjoint theories	CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
P
Proof	SMT Proof Standardization Update
proof checking	Challenges and Solutions for Higher-Order SMT Proofs
proof format	A simple proof format for SMT
Proofs	A simple proof format for SMT Challenges and Solutions for Higher-Order SMT Proofs
R
Relay-based Railway Interlocking Systems	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
resolution	A simple proof format for SMT
S
Satisfiability Modulo Theories	On Satisfiability of Polynomial Equations over Large Prime Fields cvc5: A Versatile and Industrial-Strength SMT Solver Local Search for Bit-Precise Reasoning and Beyond
semantics	Challenges and Solutions for Higher-Order SMT Proofs
SMT	A simple proof format for SMT Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers An SMT Approach for Solving Polynomials over Finite Fields An SMT-LIB Theory of Heaps Challenges and Solutions for Higher-Order SMT Proofs SMT-COMP Report and Tool Presentations SMT-Lib Update Report SMT Proof Standardization Update Business Meeting
SMT callbacks	User-Propagators for Custom Theories in SMT Solving
SMT solvers	Trail saving in SMT
SMT-LIB	The VMT-LIB Language and Tools An SMT-LIB Theory of Heaps SMT-Lib Update Report
Standard	SMT Proof Standardization Update
T
Testing	Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
Theory of Heaps	An SMT-LIB Theory of Heaps
theory reasoning	User-Propagators for Custom Theories in SMT Solving
tools	SMT-COMP Report and Tool Presentations
Trail saving	Trail saving in SMT
Z
zkSNARKs	On Satisfiability of Polynomial Equations over Large Prime Fields

Disclaimer | Powered by EasyChair Smart Program