1. Home
  2. Boolean satisfiability problem
  Subject:

Boolean satisfiability problem   New Search

View on DBpedia    View on Wikipedia
Top related subjects:
 Algorithm Value-added tax Model checking DNA Classical mechanics Adipose tissue Vietnam War Venture capital Ureaplasma urealyticum Triatominae Boolean satisfiability problem Mathematical optimization Genetic algorithm Graph theory Artificial neural network Obesity Gene Body mass index Formal methods Formal verification Unified Modeling Language SPIN model checker Reference model Polymerase chain reaction Protein Genome Acid Theorem Quantum mechanics Finite element method Magnetic resonance imaging Metabolism War comics Psychosomatic medicine Posttraumatic stress disorder Native Americans in the United States Montana Vitamin C Western blot China Blood plasma Semen Regression analysis RNA Neisseria Mycoplasma genitalium Triatoma Chagas disease Trypanosoma Sylvatic Ribosomal RNA
RELATED SUBJECTS:
The publications listed also have these subjects
Algorithm  3 times
Model checking  2 times
DNA  2 times
Classical mechanics  2 times
Adipose tissue  2 times
Venture capital  1 time
Time complexity  1 time
TaqMan  1 time
Speech recognition  1 time
Skeletal muscle  1 time
Semen  1 time
Root mean square  1 time
Ribosomal RNA  1 time
Regression analysis  1 time
RNA  1 time
Protozoa  1 time
Posttraumatic stress disorder  1 time
Polymerase chain reaction  1 time
Pearson product-moment correlation coefficient  1 time
Pareto efficiency  1 time
Parasitism  1 time
Oxygen  1 time
Optical microscope  1 time
Obesity  1 time
Northeast India  1 time
Neisseria  1 time
Multivariate analysis  1 time
Microscopy  1 time
Microarray  1 time
Messenger RNA  1 time
Mathematical optimization  1 time
Mammal  1 time
Machine tool  1 time
Lumbar vertebrae  1 time
Insect  1 time
Inner Mongolia  1 time
Graph (discrete mathematics)  1 time
Gene  1 time
Gastrointestinal tract  1 time
Galerkin method  1 time
Formal verification  1 time
Finite difference method  1 time
Endemism  1 time
Developmental biology  1 time
DNA sequencing  1 time
Climatology  1 time
Climate change  1 time
China  1 time
Cerrado  1 time
CT scan  1 time
CBS  1 time
Breast cancer  1 time
Body mass index  1 time
Biopsy  1 time
Biome  1 time
Biomarker  1 time
Atlantic Forest  1 time
Ansatz  1 time
Adipocyte  1 time

Publications tagged with this subject: 17

Note: Top 50 publications shown only. Open an item panel to view more info (open all)


1. Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points

2. The impact of inter-annual variability of annual cycle on long-term persistence of surface air temperature in long historical records

3. Factored front-end CMLLR for joint speaker and environment normalization under DNN-HMM

4. Development of conventional and real-time multiplex PCR-based assays for estimation of natural infection rates and Trypanosoma cruzi load in triatomine vectors

5. A Moderately Exponential Time Algorithm for k-IBDD Satisfiability

6. Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems

7. Flexible constrained sampling with guarantees for pattern mining

8. The physics of software tools: SWOT analysis and vision

9. Prevalence of Chlamydia trachomatis, Neisseria gonorrhoeae, Mycoplasma genitalium and Ureaplasma urealyticum infections using a novel isothermal simultaneous RNA amplification testing method in infertile males

10. Impact of body composition on outcome in patients with early breast cancer

11. Incremental bounded model checking for embedded software

12. Speaker-adaptive-trainable Boltzmann machine and its application to non-parallel voice conversion

13. Multi-criterion model ensemble of CMIP5 surface air temperature over China

14. The incorporation of emotion-regulation skills into couple- and family-based treatments for post-traumatic stress disorder

15. Gene expression regional differences in human subcutaneous adipose tissue

16. Conservative and Stable Degree Preserving SBP Operators for Non-conforming Meshes

17. From Passive to Active FSM Inference via Checking Sequence Construction


Questions?

Drop us a message.