Travelled to:
2 × USA
Collaborated with:
L.Simon S.Abiteboul T.Allard G.Gardarin A.Ghitescu F.Goasdoué I.Manolescu B.Nguyen M.Ouazara A.Somani N.Travers G.Vasile S.Zoupanos
Talks about:
web (3) sat (2) experiment (1) framework (1) procedur (1) content (1) putman (1) effici (1) wareh (1) zres (1)
Person: Philippe Chatalic
DBLP: Chatalic:Philippe
Contributed to:
Wrote 3 papers:
- VLDB-2008-AbiteboulACGGGMNOSTVZ #named #performance #web
- WebContent: efficient P2P Warehousing of web data (SA, TA, PC, GG, AG, FG, IM, BN, MO, AS, NT, GV, SZ), pp. 1428–1431.
- SAT-2001-SimonC #framework #named #satisfiability
- SatEx: A Web-based Framework for SAT Experimentation (LS, PC), pp. 129–149.
- CADE-2000-ChatalicS #named
- ZRES: The Old Davis-Putman Procedure Meets ZBDD (PC, LS), pp. 449–454.