Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Fontaine, Pascal - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Loria), Université Henri Poincaré -Nancy-Université
Combining non-stably infinite, non-first order theories 1
Combining decision procedures by (model-)equality propagation
Combinations of theories and the BernaysSchonfinkelRamsey class
Exploring and Exploiting Algebraic and Graphical Properties of Resolution
Combining decision procedures by (model-)equality propagation$
haRVey: satisfaisabilite et theories Diego Caminha B. de Oliveira (Univ. Rio Grande do Norte, Bresil)
Decision Procedures for the Formal Analysis of David Deharbe1,
Decidability of invariant validation for paramaterized systems
Combining Lists with NonStably Infinite Theories
Combinations of theories and the Bernays-Schonfinkel-Ramsey class
PDPAR 2004 Preliminary Version Combining nonstably infinite,
Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions
GridTPT: a distributed platform for Theorem Prover Testing Thomas Bouton Diego Caminha B. de Oliveira David Deharbe
Decidability of invariant validation for paramaterized systems #
Combinations of theories for decidable fragments of first-order logic
veriT: an open, trustable and efficient SMT-solver Thomas Bouton2
Techniques for verification of concurrent systems
UNIVERSIT Faculte des Sciences Appliquees
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers
haRVey: combining reasoners David Dharbe1
Using BDDs with Combinations of Theories ? Pascal Fontaine and E. Pascal Gribomont
Electricit e, Electronique
Combinations of theories and the Bernays-Schnfinkel-Ramsey class
Exploiting symmetry in SMT problems David Deharbe1
Exploiting symmetry in SMT problems David Deharbe1
Quantier Inference Rules for SMT proofs David Deharbe
A Flexible Proof Format for SMT: Frederic Besson
Combining theories: the Ackerman and Guarded Carlos Areces1,2
