DMCA

Resolution of structured SAT problems with Score(FD/B)

by Jacqueline Chabrier , Jean-Michel Richer , Jean-Jacques Charbrier