Freq.	Weight	Association
2	1.000	Roberto Sebastiani - Tommi Junttila
2	1.000	Roberto Bruttomesso - Tommi Junttila
2	1.000	Roberto Bruttomesso - Roberto Sebastiani
2	1.000	Peter Van Rossum - Tommi Junttila
2	1.000	Peter Van Rossum - Roberto Sebastiani
2	1.000	Peter Van Rossum - Roberto Bruttomesso
2	1.000	Marco Bozzano - Tommi Junttila
2	1.000	Marco Bozzano - Roberto Sebastiani
2	1.000	Marco Bozzano - Roberto Bruttomesso
2	1.000	Marco Bozzano - Peter Van Rossum
2	1.000	Alessandro Cimatti - Tommi Junttila
2	1.000	Alessandro Cimatti - Roberto Sebastiani
2	1.000	Alessandro Cimatti - Roberto Bruttomesso
2	1.000	Alessandro Cimatti - Peter Van Rossum
2	1.000	Alessandro Cimatti - Marco Bozzano

Documents par ordre de pertinence

000388 (2006)	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
000500 (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

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

	Serveur d'exploration sur la recherche en informatique en Lorraine
	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.