Results 261 to 270 of about 1,698,061 (303)
Some of the next articles are maybe not open access.
Design Automation Conference, 2019
In this paper, we propose a novel and SAT-resistant logic-locking technique, denoted as Full-Lock, to obfuscate and protect the hardware against threats including IP-piracy and reverse-engineering.
Hadi Mardani Kamali +3 more
semanticscholar +1 more source
In this paper, we propose a novel and SAT-resistant logic-locking technique, denoted as Full-Lock, to obfuscate and protect the hardware against threats including IP-piracy and reverse-engineering.
Hadi Mardani Kamali +3 more
semanticscholar +1 more source
SAT-Hard: A Learning-Based Hardware SAT-Solver
2019 22nd Euromicro Conference on Digital System Design (DSD), 2019Within the last decades, tremendous research work has been carried out on the development of software-based algorithms to solve the Boolean Satisfiability Problem. These SAT-solvers have then been heavily orchestrated for addressing complex computational tasks like the verification of circuits. In this field, most of the applied techniques focused only
Ustaoglu, Buse +4 more
openaire +3 more sources
Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
ACM Transactions on Software Engineering and Methodology, 2018A feature model (FM) is a compact representation of the information of all possible products from software product lines. The optimal feature selection involves the simultaneous optimization of multiple (usually more than three) objectives in a large and
Yi Xiang, Yuren Zhou, Zibin Zheng, M. Li
semanticscholar +1 more source
Solving SAT and SAT Modulo Theories
Journal of the ACM, 2006We first introduce Abstract DPLL , a rule-based formulation of the Davis--Putnam--Logemann--Loveland (DPLL) procedure for propositional satisfiability. This abstract framework allows one to cleanly express practical DPLL algorithms and to formally reason about them in a simple way. Its properties, such as soundness,
Robert Nieuwenhuis +2 more
openaire +1 more source
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators
Proceedings of the AAAI Conference on Artificial Intelligence, 2016Special-purpose propagators speed up solving logic programs by inferring facts that are hard to deduce otherwise. However, implementing special-purpose propagators is a non-trivial task and requires expert knowledge of solvers. This paper proposes a novel approach in logic programming that allows (1) logical specification of both the ...
Tomi Janhunen +2 more
openaire +4 more sources
Journal of Experimental & Theoretical Artificial Intelligence, 2014
The parallel computing power offered by graphic processing units (GPUs) has been recently exploited to support general purpose applications – by exploiting the availability of general API and the single-instruction multiple-thread-style parallelism present in several classes of problems (e.g.
Dal Palù, Alessandro +3 more
openaire +3 more sources
The parallel computing power offered by graphic processing units (GPUs) has been recently exploited to support general purpose applications – by exploiting the availability of general API and the single-instruction multiple-thread-style parallelism present in several classes of problems (e.g.
Dal Palù, Alessandro +3 more
openaire +3 more sources
2002
ST8Sia-V was the fifth molecule cloned as an α2-8-sialyltransferase. This enzyme exists as three isoforms as ST8Sia-V-L, -M, -S in mice. The predicted amino acid sequences of mouse ST8Sia-V-L, -M, -S are 412, 376, and 345, respectively, all of which exhibit a type II transmembrane topology, consisting of an NH2 terminal cytoplasmic tail, a ...
Mari Kono, Shuichi Tsuji
openaire +1 more source
ST8Sia-V was the fifth molecule cloned as an α2-8-sialyltransferase. This enzyme exists as three isoforms as ST8Sia-V-L, -M, -S in mice. The predicted amino acid sequences of mouse ST8Sia-V-L, -M, -S are 412, 376, and 345, respectively, all of which exhibit a type II transmembrane topology, consisting of an NH2 terminal cytoplasmic tail, a ...
Mari Kono, Shuichi Tsuji
openaire +1 more source
Chaff: engineering an efficient SAT solver
Proceedings - Design Automation Conference, 2001Matthew W. Moskewicz +4 more
semanticscholar +1 more source
After Dinner Conversation
Is it immoral to manipulate a sentient machine? In this work of philosophical short fiction, a satellite weaponized for control a planet of miners, creates an unlikely bond with Amoura, a miner on a moon outpost. Through clandestine messages, they find solace and connection.
openaire +1 more source
Is it immoral to manipulate a sentient machine? In this work of philosophical short fiction, a satellite weaponized for control a planet of miners, creates an unlikely bond with Amoura, a miner on a moon outpost. Through clandestine messages, they find solace and connection.
openaire +1 more source
International Conference on Theory and Applications of Satisfiability Testing, 2003
N. Eén, Niklas Sörensson
semanticscholar +1 more source
N. Eén, Niklas Sörensson
semanticscholar +1 more source