DBLP:conf/ijcai/DuboisD01 + redirect page
A backbone-search heuristic for efficient solving of hard 3-SAT formulae + Has identifier
| A backbone-search heuristic for efficient solving of hard 3-SAT formulae |
Has publishing details
pp. 248-253, 2001
Has title
A backbone-search heuristic for efficient solving of hard 3-SAT formulae
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#DuboisD01
Has where published
IJCAI
Has year
2001
Has author
Olivier Dubois +, Gilles Dequen +
Has identifier
A backbone-search heuristic for efficient solving of hard 3-SAT formulae +
Categories Proceeding Paper +
|
