Temporal induction by incremental SAT solving
From MaRDI portal
Recommendations
- Efficient Temporal Satisfiability
- Modelling and solving temporal reasoning as propositional satisfiability
- On Solving Soft Temporal Constraints Using SAT Techniques
- Temporal constraint satisfaction problems in fixed-point logic
- A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
- Propositional temporal proving with reductions to a SAT problem
- Simplifying inductive schemes in temporal logic
- The complexity of temporal constraint satisfaction problems
- SAT-based induction for temporal safety properties
Cited in
(62)- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- Correct Hardware Design and Verification Methods
- RC2: an efficient MaxSAT solver
- Symmetry in Gardens of Eden
- Interpolation and model checking for nonlinear arithmetic
- Progress in certifying hardware model checking results
- Propositional proof skeletons
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Conformant planning as a case study of incremental QBF solving
- Boolean Abstraction for Temporal Logic Satisfiability
- Algorithms for computing minimal equivalent subformulas
- The incremental satisfiability problem for a two conjunctive normal form
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- ICCMA 2023: 5th international competition on computational models of argumentation
- Planning as satisfiability: parallel plans and algorithms for plan search
- Computing storyline visualizations with few block crossings
- Engineering an Incremental ASP Solver
- On black-box optimization in divide-and-conquer SAT solving
- Exploiting step semantics for efficient bounded model checking of asynchronous systems
- SAT-solving in CSP trace refinement
- Finding Effective SAT Partitionings Via Black-Box Optimization
- SAT-based induction for temporal safety properties
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- Accelerated deletion-based extraction of minimal unsatisfiable cores
- FSM inference from long traces
- SAT-based optimal classification trees for non-binary data
- Integrating Inductive Definitions in SAT
- Certifying incremental SAT solving
- Incremental preprocessing methods for use in BMC
- Combining incomplete search and clause generation: an application to the orienteering problems with time windows
- ITSAT: An Efficient SAT-Based Temporal Planner
- Satisfiability modulo user propagators
- Declarative approaches to outcome determination in judgment aggregation
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- Conflict-driven answer set solving: from theory to practice
- Synchronous counting and computational algorithm design
- Finding Finite Models in Multi-sorted First-Order Logic
- Multi-shot ASP solving with clingo
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
- Automatic analysis of DMA races using model checking and k-induction
- Incremental bounded model checking for embedded software
- SampleSearch: importance sampling in presence of determinism
- ASP solving for expanding universes
- Hints revealed
- On using incremental encodings in unsatisfiability-based MaxSAT solving
- Faster Extraction of High-Level Minimal Unsatisfiable Cores
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- On enumerating short projected models
- Using satisfiability modulo theories for inductive verification of Lustre programs
- A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
- CRNs exposed: a method for the systematic exploration of chemical reaction networks
- Strengthening induction-based race checking with lightweight static analysis
- State identification and verification with satisfaction
- Gearing up for effective ASP planning
- SAT-Based Model Checking without Unrolling
- MiFuMax -- a literate MaxSAT solver. System description
- Solving string constraints using SAT
- SAT competition 2020
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
- SAT solver management strategies in IC3: an experimental approach
- Interpolant learning and reuse in SAT-based model checking
This page was built for publication: Temporal induction by incremental SAT solving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845506)
