Pascal Estraillier < Pascal Fontaine < Pascal Guitton

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 37.
[20-40] [0 - 20][0 - 37]

Ident.	Authors (with country if any)	Title
002123 (2011-07-31)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France]	Exploiting Symmetry in SMT Problems
002135 (2010-07-14)	Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France]	Exploring and Exploiting Algebraic and Graphical Properties of Resolution
002150 (2006-03)	Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]	Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
002352 (2015-10)	Pascal Fontaine [France] ; Thomas Sturm [Allemagne] ; Uwe Waldmann [Allemagne]	Foreword to the Special Focus on Constraints and Combinations
002503 (2013-09)	Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni]	Frontiers of Combining Systems
002675 (2010-07-14)	Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]	GridTPT: a distributed platform for Theorem Prover Testing
002B54 (2014-11-15)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France]	Integrating SMT solvers in Rodin
003245 (2015)	Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]	Modal Satisfiability via SMT Solving
003C41 (2007-07)	Clément Hurlin ; Amine Chaib ; Pascal Fontaine [France] ; Stephan Merz [France] ; Tjark Weber	Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions
003D95 (2014-07-18)	Clark Barrett [États-Unis] ; Leonardo De Moura [États-Unis] ; Pascal Fontaine [France]	Proofs in satisfiability modulo theories
004346 (2014-07-18)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
005453 (2006-09)	David Déharbe [Brésil] ; Pascal Fontaine [France]	haRVey: combining reasoners
005464 (2009-08-02)	Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France]	veriT: an open, trustable and efficient SMT-solver
006395 (2011-08-01)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Bruno Woltzenlogel Paleo [France]	Quantifier Inference Rules for SMT proofs
006993 (2007-06)	Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine [France]	haRVey : satisfaisabilité et théories
006A82 (2011-07-31)	Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France]	Compression of Propositional Resolution Proofs via Partial Regularization
006A85 (2013-10-20)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France]	Computing prime implicant

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Pascal Fontaine" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Pascal Fontaine" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Pascal Fontaine
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022