On the Usefulness of Clause Strengthening in Parallel SAT Solving

On the Usefulness of Clause Strengthening in Parallel SAT Solving

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods
1. Verfasser: Vallade, Vincent (VerfasserIn)
Weitere Verfasser: Frioux, Ludovic Le (VerfasserIn), Baarir, Souheib (VerfasserIn), Sopena, Julien (VerfasserIn), Kordon, Fabrice (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs 2020 Liu, Si
Per-Location Simulation 2020 Li, Liyi
Verifying Band Convergence for Sampled Control Systems 2020 Ezudheen, P.
Falsification of Cyber-Physical Systems with Constrained Signal Spaces 2020 Barbot, Benoît
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches 2020 Zhang, Zhenya
Parameter Synthesis and Robustness Analysis of Rule-Based Models 2020 Troják, Matej
Neural Simplex Architecture 2020 Phan, Dung T.
Simplifying Neural Networks Using Formal Verification 2020 Gokulanathan, Sumathi
Strengthening Deterministic Policies for POMDPs 2020 Winterer, Leonore
A Validation Methodology for OCaml-to-PVS Translation 2020 An, Xiaoxin
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata 2020 Pilch, Carina
From Passive to Active: Learning Timed Automata Efficiently 2020 Aichernig, Bernhard K.
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking 2020 Todorov, Vassil
Formal Verification of Parallel Prefix Sum 2020 Safari, Mohsen
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL 2020 Bottesch, Ralph
Sampling Distributed Schedulers for Resilient Space Communication 2020 D'Argenio, Pedro R.
Model Checking Timed Hyperproperties in Discrete-Time Systems 2020 Bonakdarpour, Borzoo
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions 2020 Hüls, Jannik
Run-Time Assurance for Learning-Enabled Systems 2020 Cofer, Darren
PaRoT: A Practical Framework for Robust Deep Neural Network Training 2020 Ayers, Edward W.
Alle Artikel auflisten