A SAT Approach to Query Optimization in Mediator Systems  - http://citeseer.ist.psu.edu/558765.html 
 
A SAT-based approach to decipher Gene Regulatory Networks - research.microsoft.com/~youssefh/Papers/riams07.pdf 
 
A SAT Encoding for the Social Golfer Problem  - www.inesc-id.pt/ficheiros/publicacoes/2516.pdf  
 
Applications of SAT Solvers to Cryptoanalysis of Hash Functions   - http://research.microsoft.com/users/mironov/sat-hash.pdf 

Boolean Satisfiability in Electronic Design Automation  - http://portal.acm.org/citation.cfm?id=337611 
 
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms  - http://web.rsise.anu.edu.au/~anbu/papers/aaai07.pdf 

Efficient haplotype inference with Boolean satisfiability  - sat.inesc-id.pt/~ines/publications/lynce+marquessilva-aaai06.pdf 
 
Encoding Plans in Propositional Logic - http://www.cs.cornell.edu/selman/papers/pdf/96.kr.plan.pdf

Improving the Encoding of LTL Model Checking into SAT - http://citeseer.ist.psu.edu/cimatti02improving.html 

Propositional Satisfiability - Techniques, Algorithms and Applications - sat.inesc-id.pt/~ines/publications/phd.pdf  

SAT in Bioinformatics - Making the Case with Haplotype Inference  - http://eprints.ecs.soton.ac.uk/12433/1/jpms-sat06a.pdf 

SAT-based Verification Methods and Applications in Hardware Verification - http://www.sti.uniurb.it/events/sfm06hv/slides/Gupta.pdf 
 
School Timetabling using Satisfiability Solvers  - www.st.ewi.tudelft.nl/sat/theses/kenneth.pdf  

Sudoku as a SAT problem - http:/www/users/prof/nvieira/public_html/cursos/asi/SAT/sudoku.pdf

Test Pattern Generation Using Boolean Satisfiability - http://ieeexplore.ieee.org/iel1/3299/00108614.pdf