The following pages link to Roberto Sebastiani (Q511776):
Displaying 50 items.
- Structured learning modulo theories (Q511777) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- (Q1391895) (redirect page) (← links)
- Calculating criticalities (Q1391896) (← links)
- Experimenting on solving nonlinear integer arithmetic with incremental linearization (Q1656597) (← links)
- Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report (Q1687551) (← links)
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- From \textsc{MiniZinc} to optimization modulo theories, and back (Q2110398) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Advanced SMT techniques for weighted model integration (Q2321319) (← links)
- GSTE is partitioned model checking (Q2385196) (← links)
- Satisfiability modulo transcendental functions via incremental linearization (Q2405243) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Four flavors of entailment (Q2661334) (← links)
- (Q2769583) (← links)
- Colors Make Theories Hard (Q2817916) (← links)
- (Q2848685) (← links)
- (Q2849590) (← links)
- Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions (Q2908520) (← links)
- Efficient generation of craig interpolants in satisfiability modulo theories (Q2946624) (← links)
- Optimization Modulo Theories with Linear Rational Costs (Q2946768) (← links)
- Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories (Q2996914) (← links)
- Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT (Q3172891) (← links)
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (Q3303890) (← links)
- (Q3506045) (← links)
- From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain (Q3524999) (← links)
- Satisfiability Modulo the Theory of Costs: Foundations and Applications (Q3557072) (← links)
- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories (Q3612475) (← links)
- Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability (Q3651467) (← links)
- (Q4247692) (← links)
- (Q4386960) (← links)
- (Q4411160) (← links)
- (Q4422082) (← links)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)
- An analysis of empirical testing for modal decision procedures (Q4487264) (← links)
- (Q4518913) (← links)
- (Q4539634) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions (Q4691738) (← links)
- (Q4736997) (← links)
- (Q4737124) (← links)
- (Q4804909) (← links)
- (Q4808722) (← links)
- (Q4809056) (← links)
- Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (Q5191098) (← links)
