Eléments de l'association

	Silvio Ranise	17
	Optimisation	21
	Silvio Ranise *Sauf* Optimisation"	16
	Optimisation *Sauf* Silvio Ranise"	20
	Silvio Ranise Et Optimisation	1
	Silvio Ranise Ou Optimisation	37
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
000388	Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]	Efficient theory combination via boolean search

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