Travelled to:1 × Germany
1 × USA
3 × Canada
Collaborated with:É.Grégoire L.Saïs R.Ostrowski C.Piette G.Audemard J.Lagniez
Talks about:function (2) extract (2) automat (2) depend (2) claus (2) platform (1) descript (1) reactiv (1) overlap (1) system (1)
Person: Bertrand Mazure
DBLP: Mazure:Bertrand
Contributed to:
2011
2009200420051998Wrote 5 papers:
- SAT-2011-AudemardLMS #on the
- On Freezing and Reactivating Learnt Clauses (GA, JML, BM, LS), pp. 188–200.
- CADE-2009-GregoireMP #question #set
- Does This Set of Clauses Overlap with at Least One MUS? (ÉG, BM, CP), pp. 100–115.
- SAT-2004-GregoireOMS #automation #dependence #functional
- Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.
- SAT-J-2004-GregoireOMS05 #automation #dependence #functional
- Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.
- CADE-1998-MazureSG #framework #platform #satisfiability
- System Description: CRIL Platform for SAT (BM, LS, ÉG), pp. 124–128.