920 search results - page 100 / 184 » Generating Satisfiable Problem Instances |
89
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We discuss the problem of clustering elements according to the sources that have generated them. For elements that are characterized by independent binary attributes, a closedform...
109
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
100
Voted
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
101
Voted
IJCAI
2007
15 years 2 months ago
2007
Recent development of location technologies enables us to obtain the location history of users. This paper proposes a new method to infer users’ longterm properties from their r...
107
click to vote
DSD
2010
IEEE
14 years 11 months ago
2010
IEEE
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...