1421 search results - page 2 / 285 » Satisfying KBO Constraints |
95
Voted
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
NAR
2007
14 years 11 months ago
2007
INFO-RNA is a new web server for designing RNA sequences that fold into a user given secondary structure. Furthermore, constraints on the sequence can be specified, e.g. one can r...
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
JISE
2010
14 years 6 months ago
2010
102
click to vote
CONSTRAINTS
2010
14 years 9 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...