Suggested Topics within your search.
Showing 1 - 20 results of 9,922 for search '"SAT"', query time: 0.86s Refine Results
  1. 1
    Improving WalkSAT for Random 3-SAT Problems
    by Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
    Published 2020-02-01
    Subjects: “...3-SAT...”
    Get full text
    Article
  2. 2
    MajorSat: A SAT Solver to Majority Logic
    by Chou, Yu Min, 周育民
    Published 2015
    “... for satisfiability (SAT) problem have a tremendous progress in the past decades. The format of instances for the SAT...”
    Get full text
    Others
  3. 3
    Picks sats
    by Sjösten, Emma
    Published 2015
    Get full text
    Others
  4. 4
    Fantomski sat
    by James Meetze, Ivana Bošnjak
    Published 2020-12-01
    Get full text
    Article
  5. 5
    Research on the Solution Space of 2-SAT and Max-2-SAT
    by Li Bai-Feng, Wei Wei, Liu Chao-Qun
    Published 2016-01-01
    “...We study the properties of 2-SAT and Max-2-SAT problems by analyzing the node adding process...”
    Get full text
    Article
  6. 6
    A hierarchy of tractable subclasses for SAT and counting SAT problems
    Get fulltext
    Article
  7. 7
    Evaluation of novel inactivated vaccines for the SAT 1, SAT 2 and SAT 3 serotypes of foot-and-mouth disease in pigs
    Subjects: “...SAT1...”
    Get full text
    Article
  8. 8
    CubeSat Development for Lightning Flashes Detection: RaioSat Project
    “... to obtain data. In this sense, the objective of the RaioSat project is to develop national technology...”
    Get full text
    Article
  9. 9
    SATS : En studie om studenters uppfattning om SATS marknadsföring
    by Anani, Alexandra, Andersson, Louise
    Published 2013
    Get full text
    Others
  10. 10
    SAT doku Att lösa Sudoku med moderna SAT-lösare
    by AXELSSON, LUDVIG, LINDEBERG, TIM
    Published 2014
    “... år har det skett mycket forskning kring SAT-lösare. I denna rapport prövades olika SAT-lösare från...”
    Get full text
    Others
  11. 11
    Robust and Agile Attitude Control for Triple CubeSat Eye-Sat
    by Charbaut, Benjamin
    Published 2018
    “...Eye-Sat is a student-designed 3U-CubeSat, to be launched to a sun-synchronous orbit from where...”
    Get full text
    Others
  12. 12
    Sat și oraș
    by Nicolae Iorga
    Published 1990-12-01
    Get full text
    Article
  13. 13
    SAT en Parallèle
    by Szczepanski, Nicolas
    Published 2017
    Subjects: “...SAT...”
    Get full text
  14. 14
    ISM S-Band CubeSat Radio designed for the PolySat System Board
    by Francis, Craig Lee
    Published 2016
    Subjects: “...CubeSat...”
    Get full text
    Get full text
    Others
  15. 15
    The in silico prediction of foot-and-mouth disease virus (FMDV) epitopes on the South African territories (SAT)1, SAT2 and SAT3 serotypes
    by Mukonyora, Michelle
    Published 2017
    Subjects: “...South African territories (SAT)...”
    Get full text
    Get full text
    Others
  16. 16
    UVSQ-SAT, a Pathfinder CubeSat Mission for Observing Essential Climate Variables
    “...The UltraViolet and infrared Sensors at high Quantum efficiency onboard a small SATellite (UVSQ-SAT...”
    Get full text
    Article
  17. 17
    PyrSat - Prevention and response to wild fires with an intelligent Earth observation CubeSat
    by Estebanez, Camarena Monica
    Published 2019
    “... hyperspectral 3U CubeSat for the production of fire risk and burnt area maps. It applies Machine Learning...”
    Get full text
    Dissertation
  18. 18
    Applications of a CloudSat-TRMM and CloudSat-GPM Satellite Coincidence Dataset
    Subjects: “...CloudSat...”
    Get full text
    Article
  19. 19
    Parallel SAT Solving on CUDA
    by Kao, Ching-Chia, 高敬嘉
    Published 2018
    “...碩士 === 國立交通大學 === 應用數學系所 === 106 === The Boolean Satisfiability Problem (SAT) is the first NP...”
    Get full text
    Others
  20. 20
    Gandhi, politics and Sat Yagraha
    by Mario López Martínez
    Published 2012-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search