Nooria Syed

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 ????

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 ...

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 ...