Suggested Topics within your search.
Showing 1 - 20 results of 50 for search '"Boolean satisfiability problem"', query time: 2.30s Refine Results
  1. 1
    Solving the Boolean satisfiability problem using the parallel paradigm
    by Hoessen, Benoît
    Published 2014
    “... satisfiability problem using parallel and distributed architectures. In order to provide a complete explanation...”
    Get full text
  2. 2
    A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
    by Qingshan Chen, Yang Xu, Jun Liu, Xingxing He
    Published 2017-01-01
    Get full text
    Article
  3. 3
    Using Boinc Desktop Grid To Solve Large Scale Sat Problems
    by Mikhail Posypkin, Alexander Semenov, Oleg Zaikin
    Published 2012-01-01
    Subjects: “...Boolean satisfiability problem (SAT)...”
    Get full text
    Article
  4. 4
    Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks
    Subjects: “...Boolean satisfiability problem...”
    Get full text
    Article
  5. 5
    Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT
    Subjects: “...Boolean satisfiability problem...”
    Get full text
  6. 6
    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
  7. 7
    Application of Graph Automorphism on Improving SAT Solver Performance
    by Chun-Xun Lin, 林春薰
    Published 2011
    “... satisfiability problem, SAT solver is the mainstream method, although many problems can be solved by SAT solver...”
    Get full text
    Others
  8. 8
    A new approach to parallel SAT solvers
    by Nelson, Max (Max M.)
    Published 2014
    Get full text
    Others
  9. 9
    Factorization patterns in 3-SAT : Analysis of clause ordering for reductions of the integer factorization problem
    by Häggvik, Adrian, Khalili, Marwan
    Published 2015
    “... problem to another difficult problem, for example the Boolean satisfiability problem. Many studies have...”
    Get full text
    Others
  10. 10
    Layout Generation for Standard Cell with Yield Consideration
    by Yi-Jui Hung, 洪奕睿
    Published 2009
    “... Satisfiability problem where various constraints are generated to enforce the Layout design rules of transistor...”
    Get full text
    Others
  11. 11
    Addendum to Linear Cryptanalyses of Three AEADs with GIFT-128 as Underlying Primitives
    by Sun, L., Wang, M., Wang, W.
    Published 2022
    View Fulltext in Publisher
    Article
  12. 12
    A comparison of reductions from FACT to CNF-SAT
    by ERIKSSON, JOHN, HÖGLUND, JONAS
    Published 2014
    “... be reduced to aninstance of the conjunctive normal form boolean satisfiability problem (CNFSAT),a well-known...”
    Get full text
    Others
  13. 13
    A comparison of reductions from FACT to CNF-SAT
    by Eriksson, John, Höglund, Jonas
    Published 2014
    “... be reduced to aninstance of the conjunctive normal form boolean satisfiability problem (CNF-SAT), a well...”
    Get full text
    Others
  14. 14
    SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
    “.... The proposed approach is based on reduction to the Boolean satisfiability problem (SAT) and has Counterexample...”
    Get full text
    Article
  15. 15
    Predict the Performance of SAT Algorithm by Analyzing the Runtime Data with Machine Learning Techniques
    by Jia-Shiuan Chen, 陳家暄
    Published 2019
    “...碩士 === 國立臺灣大學 === 電機工程學研究所 === 107 === Boolean satisfiability problem (SAT) is one of the most well...”
    Get full text
    Others
  16. 16
    Solution to PSPACE-Complete Problem Using P Systems with Active Membranes with Time-Freeness
    by Bosheng Song, Yuan Kong
    Published 2019-01-01
    “..., we present a time-free semiuniform solution to the quantified Boolean satisfiability problem (QSAT...”
    Get full text
    Article
  17. 17
    A New SAT Encoding of Earley Parsing
    by Neil, Tobias
    Published 2015
    “...While the Boolean satisfiability problem (SAT) lies in NP, prodigious work in SAT solvers has...”
    Get full text
    Others
  18. 18
    Applying aspiration in local search for satisfiability.
    by Cong Peng, Zhongwei Xu, Meng Mei
    Published 2020-01-01
    “...The Boolean Satisfiability problem (SAT) is a prototypical NP-complete problem, which has been...”
    Get full text
    Article
  19. 19
    A Study of Gaussian Elimination on Boolean Satisfiability and Craig Interpolation
    by Cheng-Shen Han, 韓承駪
    Published 2012
    “...碩士 === 國立臺灣大學 === 電子工程學研究所 === 100 === The Boolean satisfiability problem (SAT) is one...”
    Get full text
    Others
  20. 20
    Using Volunteer Computing to Study Some Features of Diagonal Latin Squares
    “... of order 10 was considered and reduced to Boolean satisfiability problem. The obtained problem turned out...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search