Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,441,167 papers from all fields of science
Search
Sign In
Create Free Account
Constraint graph
Known as:
Constraint hypergraph
, Dual constraint graph
, Primal constraint graph
In constraint satisfaction research of artificial intelligence and operations research, constraint graphs and hypergraphs are used to represent…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Artificial intelligence
Constraint satisfaction
Constraint satisfaction problem
Electronic design automation
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Two-constraint domain decomposition with Space Filling Curves
C. Konrad
Parallel Computing
2011
Corpus ID: 8244454
2011
2011
Directly performance-constrained template-based layout retargeting and optimization for analog integrated circuits
Lihong Zhang
,
Zheng Liu
Integr.
2011
Corpus ID: 37279679
2007
2007
Parallelizing test, diagnose and fix tasks using graph partitioning algorithms
I. D. Jong
,
R. Boumen
,
J. M. Mortel-Fronczak
,
J. Rooda
2007
Corpus ID: 60854336
The development of a new semi-conductor manufacturing system, like the ASML waferscanner, is mainly driven by time-to-market. The…
Expand
2006
2006
Collaborative Scheduling: Threats and Promises
R. Greenstadt
,
Michael D. Smith
Workshop on the Economics of Information Security
2006
Corpus ID: 7598801
Personal assistant agents are a tool for collaboration in businesses, office environments and research organizations [1–3]. We…
Expand
2006
2006
Memory Aware High-Level Synthesis for Embedded Systems
Gwenolé Corre
,
E. Senn
,
N. Julien
,
E. Martin
arXiv.org
2006
Corpus ID: 692
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of…
Expand
2005
2005
Automatic debugging of real-time systems based on incremental satisfiability counting
S. Andrei
,
W. Chin
,
A. Cheng
,
M. Lupu
IEEE transactions on computers
2005
Corpus ID: 8406193
Real-time logic (RTL) is useful for the verification of a safety assertion with respect to the specification of a realtime system…
Expand
Review
2003
Review
2003
Constraint graph analysis of multithreaded programs
Harold W. Cain
,
Mikko H. Lipasti
,
R. Nair
International Conference on Parallel…
2003
Corpus ID: 14878128
We present a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review…
Expand
1996
1996
Incremental constraint modelling in a feature modelling system
T. Laakko
,
M. Mäntylä
Computer graphics forum (Print)
1996
Corpus ID: 40383409
The techniques of constraint propagation have recently been successfully applied to feature‐based design. Because of their speed…
Expand
1989
1989
An Algebraic Approach to Constraint Satisfaction Problems
Igor Rivin
,
R. Zabih
International Joint Conference on Artificial…
1989
Corpus ID: 10933227
A constraint satisfaction problem, or CSP, can be reformulated as an integer linear programming problem. The reformulated problem…
Expand
1989
1989
Preference Propagation in Temporal/Capacity Constraint Graphs
N. Sadeh
,
M. Fox
1989
Corpus ID: 123856569
Abstract : Scheduling can be formalized as a constraint satisfaction problem. Within this framework activities in a plan are…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE