Lionel Paris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2006–2020
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISAIM | Another Way to Browse the Search Space For Some Transformations from CSP to SAT. | Richard Ostrowski, Lionel Paris, Adrien Varet |
| 2009 | ICTAI | A Tree Decomposition Based Approach to Solve Structured SAT Instances. | Djamal Habet, Lionel Paris, Cyril Terrioux |
| 2009 | ICTAI | Detecting Boolean Functions for Proving Unsatisfiability. | Richard Ostrowski, Lionel Paris |
| 2008 | ICTAI | From XSAT to SAT by Exhibiting Equivalencies. | Richard Ostrowski, Lionel Paris |
| 2007 | ICTAI | Consistent Neighborhood for the Satisfiability Problem. | Djamal Habet, Lionel Paris, Belaid Benhamou |
| 2006 | AIMSA | A Boolean Encoding Including SAT and n-ary CSPs. | Lionel Paris, Belaid Benhamou, Pierre Siegel |
| 2006 | ICTAI | Computing Horn Strong Backdoor Sets Thanks to Local Search. | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |