LRDE
LRDE
General Information
Home
People
News
Jobs
Lrde bulletin
Intranet
Research
Projects
Partnerships
Publications
LRDE Seminar
Studying at LRDE
Life at the LRDE
Joining the LRDE
Education
Courses at EPITA
External courses
Tools
What links here
Related changes
User contributions
Logs
View user groups
Special pages
Printable version
Permanent link
Page information
Browse properties
Browse properties
User
Ludovic Le Frioux
From LRDE
Revision as of 10:17, 18 September 2017 by
Clément Démoulins
(
talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Publication type
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers
inproceedings
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
inproceedings
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
inproceedings
On the Usefulness of Clause Strengthening in Parallel SAT Solving
inproceedings
PaInleSS: a Framework for Parallel SAT Solving
inproceedings
Towards more efficient parallel SAT solving
phdthesis