Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification.
Hiroshi UnnoTachio TerauchiYu GuEric KoskinenPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- primal dual
- fixpoint
- linear programming problems
- infeasible interior point
- interior point algorithm
- proof theoretic
- logic programs
- linear programming
- simplex method
- logic programming
- horn clauses
- deductive databases
- linear program
- convex optimization
- affine scaling
- convex optimization problems
- model theoretic
- algorithm for linear programming
- approximation algorithms
- convergence rate
- interior point methods
- simplex algorithm
- semidefinite programming
- finite state machines
- stable models
- fixpoint semantics
- nonmonotonic reasoning
- sql queries
- model checking
- proof theory
- datalog programs
- databases
- answer sets
- background knowledge
- np hard
- optimal solution
- inference rules
- total variation
- inductive logic programming