308 search results - page 50 / 62 » Answer Set Programming Based on Propositional Satisfiability |
CPAIOR
2009
Springer
15 years 6 months ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
126
Voted
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
124
Voted
GPCE
2009
Springer
15 years 2 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
82
Voted
DAC
2007
ACM
16 years 20 days ago
2007
ACM
With increasing time-to-market pressure and shortening semiconductor product cycles, more and more chips are being designed with library-based methodologies. In spite of this shif...
WWW
2007
ACM
16 years 10 days ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...