2725 search results - page 70 / 545 » Constraint Solving for Interpolation |
AAAI
1997
14 years 13 days ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
MP
2007
13 years 10 months ago
2007
We present a practical approach to Anstreicher and Lee’s masked spectral bound for maximum-entropy sampling, and we describe favorable results that we have obtained with a Branch...
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
Video streaming demands high data rates and hard delay constraints, and it raises several challenges on today’s packet-based and best-effort internet. In this paper, we propose ...
AGP
2010
IEEE
14 years 4 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
COR
2008
13 years 10 months ago
2008
In this paper we discuss models and methods for solving the rooted distance constrained minimum spanning tree problem which is defined as follows: given a graph G = (V, E) with no...