Sciweavers

Share
CP   2010 Principles and Practice of Constraint Programming
Wall of Fame | Most Viewed CP-2010 Paper
CP
2010
Springer
8 years 8 months ago
A Complete Multi-valued SAT Solver
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and con´Čéict driven clause learning. W...
Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source243
2Download preprint from source166
3Download preprint from source164
4Download preprint from source162
5Download preprint from source158
6Download preprint from source145
7Download preprint from source145
8Download preprint from source141
9Download preprint from source139
10Download preprint from source136
11Download preprint from source136
12Download preprint from source133
13Download preprint from source133
14Download preprint from source130
15Download preprint from source130
16Download preprint from source125
17Download preprint from source125
18Download preprint from source121
19Download preprint from source118
20Download preprint from source118
21Download preprint from source117
22Download preprint from source117
23Download preprint from source113
24Download preprint from source109
25Download preprint from source108
26Download preprint from source99
27Download preprint from source98
28Download preprint from source94
books