Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,668,859 papers from all fields of science
Search
Sign In
Create Free Account
Computers and Intractability: A Guide to the Theory of NP-Completeness
In computer science, more specifically computational complexity theory, Computers and Intractability: A Guide to the Theory of NP-Completeness is an…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
AKS primality test
Chordal completion
Computational complexity theory
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Búsqueda tabú para el ruteo de vehículos
Juan Rodrigo Jaramillo Posada
2012
Corpus ID: 109319898
The design of effi cient routes for commercial vehicles is critical in the logistics and transportation sectors. The Vehicle…
Expand
2008
2008
Functions and Polynomials over Finite Groups from the Computational Perspective
G. Horváth
2008
Corpus ID: 117010140
In the thesis we investigate the connections between arbitrary functions and their realizing polynomials over nite algebras. We…
Expand
2007
2007
El problema del árbol de empuje en sistemas de telecomunicaciones
Karla Martínez Facundo
,
J. A. S. Martínez
,
J. Ramiro
,
M. A. Vázquez
,
R. R. Mercado
2007
Corpus ID: 170483983
En los sistemas de distribucion de informacion en sistemas de telecomunicaciones se utiliza una combinacion de "empujar" y "jalar…
Expand
2005
2005
SAT-Based Cooperative Planning: A Proposal
Marco Benedetti
,
L. Aiello
Mechanizing Mathematical Reasoning
2005
Corpus ID: 17816173
We present a work-in-progress on distributed planning, which relies on the “planning as satisfiability” paradigm. It allows for…
Expand
2005
2005
PEM: a framework enabling continual optimization of workflow process executions based upon business value metrics
Melissa J. Buco
,
Rong N. Chang
,
Laura Z. Luan
,
Edward So
,
Chunqiang Tang
,
Christopher Ward
IEEE International Conference on Services…
2005
Corpus ID: 18620790
The competitiveness of the market place and the advent of on demand services computing are encouraging many organizations to…
Expand
1996
1996
Formal Methods in VLSI System Design
A. Aziz
1996
Corpus ID: 60573096
We apply mathematical logic to a number of problems arising in very large scale integration (VLSI) design automation. The rst…
Expand
1995
1995
Technology mapping of lookup table based field programmable gate arrays
Yuzheng Ding
1995
Corpus ID: 59631134
The Field Programmable Gate Array (FPGA) is a very attractive technology for application specific integrated circuit designs due…
Expand
1994
1994
Partitioning non-strict languages for multi-threaded code generation
S. Coorg
1994
Corpus ID: 28887901
In a non-strict language, functions may return values before their arguments are available, and data structures may be defined…
Expand
1993
1993
Database and display algorithms for interactive visualization of architectural models
T. Funkhouser
,
C. Séquin
1993
Corpus ID: 60622160
This thesis describes a system for interactive walkthroughs of large, fully furnished architectural models. Realistic-looking…
Expand
1990
1990
A Nontrivial Lower Bound for an NP Problem on Automata
E. Grandjean
SIAM journal on computing (Print)
1990
Corpus ID: 31205592
An NP problem L is linearly NP-complete if each ${\operatorname{NTIME}}(n)$-problem is reducible to L in linear time on a…
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