1171 search results - page 42 / 235 » Variable neighborhood search |
72
Voted
ISCAS
2003
IEEE
15 years 2 months ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
IJCAI
2007
14 years 11 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
105
click to vote
TABLEAUX
1997
Springer
15 years 1 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Word-based compression over natural language text has shown to be a good choice to trade compression ratio and speed, obtaining compression ratios close to 30% and very fast decom...
124
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
This work presents a technique of convincingly claiming ownership rights over a trajectory dataset. The presented methodology distorts imperceptibly a collection of sequences, effe...