Boolean satisfiability
    3.
    发明授权

    公开(公告)号:US10929764B2

    公开(公告)日:2021-02-23

    申请号:US15692985

    申请日:2017-08-31

    Abstract: An apparatus includes a state machine engine. The state machine engine may also include an automaton, whereby the automaton is configured to analyze data from a beginning of an input data stream until a point when an end of data signal is seen. The automaton may further be configured to report an event representative of a satisfaction of a Boolean clause of a conjunctive normal form (CNF) Boolean expression representative of a Boolean Satisfiability problem (SAT) by a portion of the input data stream.

    GRAPH TRAVERSAL USING AUTOMATA PROCESSOR
    5.
    发明申请

    公开(公告)号:US20180113951A1

    公开(公告)日:2018-04-26

    申请号:US15692972

    申请日:2017-08-31

    CPC classification number: G06F16/9024 G06F16/248 H04L67/10

    Abstract: An apparatus includes a state machine engine. The state machine engine may also include an automaton, whereby the automaton is configured to analyze data from a query related to solving a graph. The automaton may further be configured to report an event representative of a satisfaction of a node solving a hop of the graph by a portion of the input data stream.

    BOOLEAN SATISFIABILITY
    9.
    发明申请

    公开(公告)号:US20180114131A1

    公开(公告)日:2018-04-26

    申请号:US15692985

    申请日:2017-08-31

    CPC classification number: G06N5/047 G06N5/003

    Abstract: An apparatus includes a state machine engine. The state machine engine may also include an automaton, whereby the automaton is configured to analyze data from a beginning of an input data stream until a point when an end of data signal is seen. The automaton may further be configured to report an event representative of a satisfaction of a Boolean clause of a conjunctive normal form (CNF) Boolean expression representative of a Boolean Satisfiability problem (SAT) by a portion of the input data stream.

Patent Agency Ranking