4513 search results - page 357 / 903 » Logic programming with satisfiability |
151
click to vote
AI
2004
Springer
15 years 10 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
148
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
138
click to vote
GLVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper presents a satisfiability-based method for solving the board-level multiterminal net routing problem in Clos-Folded FPGA based logic emulation systems. The approach tran...
168
click to vote
CCIA
2008
Springer
15 years 6 months ago
2008
Springer
Agents are situated autonomous entities that perceive and act in their environment, and communicate with other agents. An agent usually starts a conversation by querying another a...
154
click to vote
FCS
2006
15 years 6 months ago
2006
- There is continuing research interest in comparison of the complexity of problems within the class NP-Complete. This paper examines the representational power of conjunctive norm...