Publication
Detail
Publication date: 01/10/2008Towards Solving a System of Pseudo Boolean
URL | http://centria.di.fct.unl.pt/~pb/papers/ValentinThesis.pdf |
---|---|
Publisher | Universitat Politècnica de Catalunya |
URL | http://centria.di.fct.unl.pt/~pb/papers/ValentinThesis.pdf |
Publisher | Universitat Politècnica de Catalunya |