224 search results - page 21 / 45 » Algorithms for Solving Boolean Satisfiability in Combination... |
114
Voted
FUIN
2010
15 years 2 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
136
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...
138
Voted
ICCAD
2002
IEEE
16 years 20 days ago
2002
IEEE
A regular circuit structure called a Whirlpool PLA (WPLA) is proposed. It is suitable for the implementation of finite state machines as well as combinational logic. A WPLA is ...
113
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Graph drawing is one of the important techniques for understanding biological regulations in a cell or among cells at the pathway level. Among many available layout al...
113
Voted
JAR
2008
15 years 3 months ago
2008
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...