CORE
CO
nnecting
RE
positories
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Research partnership
About
About
About us
Our mission
Team
Blog
FAQs
Contact us
Community governance
Governance
Advisory Board
Board of supporters
Research network
Innovations
Our research
Labs
Filters
1,720,980 research outputs found
Haplotype Inference with Boolean Satisfiability
Author
Marques-Silva Joao
Lynce Ines
Publication venue
Publication date
Field of study
No full text
Southampton (e-Prints Soton)
Breaking Symmetries in SAT Matrix Models
Author
Marques-Silva Joao
Lynce Ines
Publication venue
Publication date
2007
Field of study
No full text
Southampton (e-Prints Soton)
Towards Robust CNF Encodings of Cardinality Constraints
Author
Marques-Silva Joao
Lynce Ines
Publication venue
Publication date
2007
Field of study
No full text
Southampton (e-Prints Soton)
Efficient Haplotype Inference with Boolean Satisfiability
Author
Marques-Silva Joao
Lynce Ines
Publication venue
Publication date
2006
Field of study
No full text
Southampton (e-Prints Soton)
Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
Author
Marques-Silva Joao
Lynce Ines
Sakallah Karem
Publication venue
Publication date
01/01/2007
Field of study
No full text
Southampton (e-Prints Soton)
Boosting Haplotype Inference with Local Search
Author
Marques-Silva Joao
Lynce Ines
Prestwich Steve
Publication venue
Publication date
2008
Field of study
No full text
Southampton (e-Prints Soton)
SAT in Bioinformatics: Making the Case with Haplotype Inference
Author
Marques-Silva Joao
Inês Lynce
Lynce Ines
João Marques-Silva
Publication venue
Publication date
2006
Field of study
No full text
Southampton (e-Prints Soton)
Crossref
Efficient Haplotype Inference with Pseudo-Boolean Optimization
Author
Graca Ana Sofia
Marques-Silva Joao
Oliveira Arlindo
Lynce Ines
Publication venue
Publication date
2007
Field of study
No full text
Southampton (e-Prints Soton)
Efficient data structures for backtrack search SAT solvers
Author
Jo�o Marques-Silva
Marques-Silva Joao
Lynce Ines
In�s Lynce
Publication venue
Publication date
01/01/2004
Field of study
No full text
Southampton (e-Prints Soton)
Crossref
Efficient Haplotype Inference with Combined CP and OR Techniques
Author
Graca Ana
Marques-Silva Joao
Oliveira Arlindo
Lynce Ines
Publication venue
Publication date
2008
Field of study
No full text
Southampton (e-Prints Soton)
1
2
3
…
last
No full text
No full text
