4513 search results - page 588 / 903 » Logic programming with satisfiability |
149
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
196
click to vote
IHI
2010
15 years 1 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
306
click to vote
Book
This is an introductory book about machine learning. Notice that this is a draft book. It may contain typos, mistakes, etc.
The book covers the following topics: Boolean Functio...
113
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...