Sciweavers

Share ➚
FLOPS   2010 Fuji International Symposium on Functional and Logic Programming
Wall of Fame | Most Viewed FLOPS-2010 Paper
FLOPS
2010
Springer
145views Automated Reasoning» more  FLOPS 2010»
A Pearl on SAT Solving in Prolog
2 years 4 days ago
A Pearl on SAT Solving in Prolog
Download  www.cs.kent.ac.uk
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
Jacob M. Howe, Andy King
claim paper
Read More »
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 source145
A Pearl on SAT Solving in Prolog
claim
2Download preprint from source141
PiSigma: Dependent Types without the Sugar
claim
3Download preprint from source125
A Church-Style Intermediate Language for MLF
claim
4Download preprint from source123
Haskell Type Constraints Unleashed
claim
5Download preprint from source105
Automatic Parallelization of Recursive Functions Using Quantifier Elimination
claim
6Download preprint from source104
Delimited Control in OCaml, Abstractly and Concretely: System Description
claim
7Download preprint from source102
Defunctionalized Interpreters for Call-by-Need Evaluation
claim
8Download preprint from source101
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
claim
9Download preprint from source97
Code Generation via Higher-Order Rewrite Systems
claim
10Download preprint from source96
Automatically Generating Counterexamples to Naive Free Theorems
claim
11Download preprint from source96
Applying Constraint Logic Programming to SQL Test Case Generation
claim
12Download preprint from source87
Complexity Analysis by Graph Rewriting
claim
13Download preprint from source77
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
claim
14Download preprint from source70
Proving Injectivity of Functions via Program Inversion in Term Rewriting
claim
15Download preprint from source61
A Skeleton for Distributed Work Pools in Eden
claim
Spread the Word
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books