Propositional encodings of acyclicity and reachability by using vertex elimination

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Sormenjälki

Sukella tutkimusaiheisiin 'Propositional encodings of acyclicity and reachability by using vertex elimination'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science