買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜慧與發展有限責任合伙企業申請的專利用于解決約束滿足問題的基于CAM的隨機局部搜索加速器獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN117275551B 。

龍圖騰網通過國家知識產權局官網在2025-04-01發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202211290546.6，技術領域涉及：G11C15/04；該發明授權用于解決約束滿足問題的基于CAM的隨機局部搜索加速器是由G·佩德雷蒂;T·F·齊格勒;T·范瓦倫伯格;C·格雷夫斯設計研發完成，并于2022-10-21向國家知識產權局提交的專利申請。

本用于解決約束滿足問題的基于CAM的隨機局部搜索加速器在說明書摘要公布了：本公開涉及用于解決約束滿足問題的基于CAM的隨機局部搜索加速器。本公開總體上提供了一種求解K?SAT問題的方法。該方法包括將用于K?SAT問題的以否定析取范式DNF編寫的布爾表達式的一個或多個子句編程到三態CAMTCAM陣列，該陣列包括TCAM單元構成的列和行。該方法還包括：將包括期望用于求解該布爾表達式的一個或多個二進制變量的解釋作為輸入沿該列施加到該TCAM陣列；對每個子句返回二進制值；隨機選擇一個匹配的匹配線；從一個或多個違反子句確定所選子句；以及使用所選子句的每個變量的中斷計數來改變該解釋內的一個或多個文字。

本發明授權用于解決約束滿足問題的基于CAM的隨機局部搜索加速器在權利要求書中公布了：1.一種計算機實施方法，包括：由處理器將用于K-可滿足性K-SAT問題的以否定析取范式DNF編寫的布爾表達式的一個或多個子句編程到三態內容可尋址存儲器TCAM陣列，所述TCAM陣列包括TCAM單元構成的列和行，其中，將所述布爾表達式的每個子句編程到所述TCAM陣列的相應行，并且其中，每個子句的每個出現的變量被映射到所述行中的相應TCAM單元，并且其中，每個未出現的變量被編程為無關值；由所述處理器將包括期望用于求解所述布爾表達式的一個或多個二進制變量的解釋作為輸入，沿所述列施加到所述TCAM陣列；由所述處理器對每個子句返回二進制值；由所述處理器隨機選擇一個匹配的匹配線；由所述處理器從一個或多個違反子句確定所選子句；以及由所述處理器使用所選子句的每個變量的中斷計數來改變所述解釋內的一個或多個文字。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人慧與發展有限責任合伙企業，其通訊地址為：美國德克薩斯州；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。