5634 search results - page 211 / 1127 » About Abstract Classes |
AUSAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We investigate constraint domains in which answers to constraint abduction problems can be represented compactly by a most general answer. We demonstrate several classes ...
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
FC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. An economic model of the online advertising market is presented, focusing on the effect of ad fraud. In the model, the market is comprised of three classes of players: pu...
WALCOM
2008
IEEE
15 years 25 days ago
2008
IEEE
Abstract. Finding a maximum acyclic subgraph is on the list of problems that seem to be hard to tackle from a parameterized perspective. We develop two quite efficient algorithms (...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability)...