Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « satisfiability »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
satisfaction < satisfiability < satisfying  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000156 (2013) Konstantin Korovin [Royaume-Uni]Non-cyclic Sorts for First-Order Satisfiability
000A06 (2009) David Déharbe [Brésil] ; Silvio Ranise [Italie, France]Satisfiability solving for software verification
000A07 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
001076 (2007) Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France]Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
001381 (2006) Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh TranAutomatic Combinability of Rewriting-Based Satisfiability Procedures
001517 (2005) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [France]R ewrite and D ecision Procedure L aboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
001536 (2005) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
001537 (2005) Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc Khanh TranOn Superposition-Based Satisfiability Procedures and Their Combination
001577 (2005) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient Satisfiability Modulo Theories via Delayed Theory Combination
002396 (1999) Laurent Juban [France]Dichotomy theorem for the generalized unique satisfiability problem
002402 (1999) Anne-Cécile Caron [France] ; Franck Seynhaeve [France] ; Sophie Tison [France] ; Marc Tommasi [France]Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting
002974 (1996) Christophe Ringeissen [France]Cooperation of Decision Procedures for the Satisfiability Problem
002980 (1996) Nadia Creignou [France] ; Miki Hermann [France]Complexity of Generalized Satisfiability Counting Problems
002A06 (1996) Maribel Fernández [France]AC Complement Problems: Satisfiability and Negation Elimination

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "satisfiability" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "satisfiability" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    satisfiability
}}
Wicri

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