Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro

Saved in:
Bibliographic Details
Published in:Advanced Intelligent Systems
Format: Online Article RSS Article
Published: 2026
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1868553687772692482
collection WordPress RSS
FRELIP Feed Integration
container_title Advanced Intelligent Systems
description
discipline_display Artificial Intelligence
discipline_facet Artificial Intelligence
format Online Article
RSS Article
genre Journal Article
id rss_article:83200
institution FRELIP
journal_source_facet Advanced Intelligent Systems
last_indexed 2026-06-20T21:40:59.953Z
publishDate 2026
publishDateSort 2026
record_format rss_article
spellingShingle In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
Artificial Intelligence
General
Artificial Intelligence
sub_discipline_display General
sub_discipline_facet General
subject_display Artificial Intelligence
General
Artificial Intelligence
subject_facet Artificial Intelligence
General
Artificial Intelligence
title In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
title_alt Solucionador SAT de tiempo continuo en memoria basado en macro SRAM bidireccional de 11 transistores
Solveur SAT en mémoire en temps continu basé sur une macro SRAM 11-T bidirectionnelle
Solucionador SAT de Tempo Contínuo em Memória Baseado em Macro SRAM Bidirecional de 11 Transistores
title_auth In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
title_es_txt Solucionador SAT de tiempo continuo en memoria basado en macro SRAM bidireccional de 11 transistores
title_fr_txt Solveur SAT en mémoire en temps continu basé sur une macro SRAM 11-T bidirectionnelle
title_full In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
title_fullStr In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
title_full_unstemmed In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
title_pt_txt Solucionador SAT de Tempo Contínuo em Memória Baseado em Macro SRAM Bidirecional de 11 Transistores
title_short In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
title_sort in‐memory continuous‐time sat solver based on bidirectional 11‐t sram macro
topic Artificial Intelligence
General
Artificial Intelligence
url https://advanced.onlinelibrary.wiley.com/doi/10.1002/aisy.202501425?af=R