Nooria Syed Posted January 7, 2014 Posted January 7, 2014 hello! I am doing my MS thesis , in which i have to write up job shop scheduling procedence constrsints specificaion in pvs after using genetic algo operatorscross over and mutation ... I just want strating point of thinking.... any help to think how to start ...
Nooria Syed Posted January 13, 2014 Author Posted January 13, 2014 plzzz help me ... no one can give me help on precedence constraints is disjunctive graph can help me in checking correct precedence constraints??? pllzzz reply any one ...
Nooria Syed Posted January 29, 2014 Author Posted January 29, 2014 http://www.cs.rug.nl/~grl/ar06/prelude.html this is the link for pvs preruled querries any one can provide ma explanation of these preruled querries, means what does these querries do????? plzz help me ... no one know about pvs ????
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now