Charles Sauerbier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002

2 EE Charles Sauerbier: A polynomial time (heuristic) SAT algorithm CoRR cs.CC/0205064: (2002)

1 EE Charles Sauerbier: Mathematical basis for polySAT implication operator CoRR cs.CC/0208026: (2002)

2002
2	EE	Charles Sauerbier: A polynomial time (heuristic) SAT algorithm CoRR cs.CC/0205064: (2002)
1	EE	Charles Sauerbier: Mathematical basis for polySAT implication operator CoRR cs.CC/0208026: (2002)