Results 251 to 260 of about 1,698,061 (303)
Some of the next articles are maybe not open access.
Conflict-Driven Clause Learning SAT Solvers
Handbook of Satisfiability, 2021One of the most important paradigm shifts in the use of SAT solvers for solving industrial problems has been the introduction of clause learning. Clause learning entails adding a new clause for each conflict during backtrack search.
Joao Marques-Silva, I. Lynce, S. Malik
semanticscholar +1 more source
Proof Complexity and SAT Solving
Handbook of Satisfiability, 2021This chapter gives an overview of proof complexity and connections to SAT solving, focusing on proof systems such as resolution, Nullstellensatz, polynomial calculus, and cutting planes (corresponding to conflict-driven clause learning, algebraic ...
S. Buss, Jakob Nordström
semanticscholar +1 more source
Handbook of Satisfiability, 2021
Preprocessing has become a key component of the Boolean satisfiability (SAT) solving workflow. In practice, preprocessing is situated between the encoding phase and the solving phase, with the aim of decreasing the total solving time by applying ...
Armin Biere, Matti Järvisalo, B. Kiesl
semanticscholar +1 more source
Preprocessing has become a key component of the Boolean satisfiability (SAT) solving workflow. In practice, preprocessing is situated between the encoding phase and the solving phase, with the aim of decreasing the total solving time by applying ...
Armin Biere, Matti Järvisalo, B. Kiesl
semanticscholar +1 more source
Handbook of Satisfiability, 2021
The planning problem in Artificial Intelligence was the first application of SAT to reasoning about transition systems and a direct precursor to the use of SAT in a number of other applications, including bounded model-checking in computer-aided ...
J. Rintanen
semanticscholar +1 more source
The planning problem in Artificial Intelligence was the first application of SAT to reasoning about transition systems and a direct precursor to the use of SAT in a number of other applications, including bounded model-checking in computer-aided ...
J. Rintanen
semanticscholar +1 more source
Combinatorial Designs by SAT Solvers
Handbook of Satisfiability, 2021The theory of combinatorial designs has always been a rich source of structured, parametrized families of SAT instances. On one hand, design theory provides interesting problems for testing various SAT solvers; on the other hand, high-performance SAT ...
Hantao Zhang
semanticscholar +1 more source
Proceedings of the 3rd international workshop on Mobility in the evolving internet architecture, 2008
Establishing trust in vehicular networks is a critical but also difficult task. In this position paper, we present a new trust architecture and model - Situation-Aware Trust (SAT) - to address several important trust issues in vehicular networks that we believe are essential to overcome the weaknesses of the current vehicular network security and trust
Xiaoyan Hong +3 more
openaire +2 more sources
Establishing trust in vehicular networks is a critical but also difficult task. In this position paper, we present a new trust architecture and model - Situation-Aware Trust (SAT) - to address several important trust issues in vehicular networks that we believe are essential to overcome the weaknesses of the current vehicular network security and trust
Xiaoyan Hong +3 more
openaire +2 more sources
Proceedings of the 2016 International Symposium on Low Power Electronics and Design, 2016
Reliable and ultra-low power time synchronization becomes more and more important with the popularity of energy harvesting sensor nodes. This paper proposes an untethered and probabilistic ultra-lower power time synchronization method for energy intermittent sensor network.
Tongda Wu +5 more
openaire +1 more source
Reliable and ultra-low power time synchronization becomes more and more important with the popularity of energy harvesting sensor nodes. This paper proposes an untethered and probabilistic ultra-lower power time synchronization method for energy intermittent sensor network.
Tongda Wu +5 more
openaire +1 more source
NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2020The globalization of the IC supply chain has raised many security threats, especially when untrusted parties are involved. This has created a demand for a dependable logic obfuscation solution to combat these threats.
K. Z. Azar +3 more
semanticscholar +1 more source