LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

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

A
Answer Set Semantics	Splitting a Logic Program Efficiently
ATP	ProofWatch Meets ENIGMA: First Experiments
automated theorem proving	ProofWatch Meets ENIGMA: First Experiments
C
Cloud Computing	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
D
DPLL(T)	Extending a Verified Simplex Algorithm
E
E prover	ProofWatch Meets ENIGMA: First Experiments
ENIGMA	ProofWatch Meets ENIGMA: First Experiments
H
heap automata	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
hint list	ProofWatch Meets ENIGMA: First Experiments
I
inductive definitions	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
inference guidance	ProofWatch Meets ENIGMA: First Experiments
Isabelle/HOL	Extending a Verified Simplex Algorithm
L
Linear Rational Arithmetic	Extending a Verified Simplex Algorithm
Logic Programming	Splitting a Logic Program Efficiently
M
machine learning	ProofWatch Meets ENIGMA: First Experiments
O
optimization modulo theories tools	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
P
ProofWatch	ProofWatch Meets ENIGMA: First Experiments
R
resource provisioning	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
robustness properties	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
S
satisfiability	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Splitting Sets	Splitting a Logic Program Efficiently
symbolic-heap separation logic	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Symmetry breaking	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
T
Theory Solver	Extending a Verified Simplex Algorithm
W
watchlist	ProofWatch Meets ENIGMA: First Experiments

Disclaimer | Powered by EasyChair Smart Program