SAT−solving in CSP trace refinement

SAT−solving in CSP trace refinement

Εμφάνιση άλλων εκδόσεων (3)
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Palikareva, H, Ouaknine, J, Roscoe, A
Μορφή: Journal article
Έκδοση: 2011
Search Result 1
SAT solving in CSP trace refinement

SAT solving in CSP trace refinement ανά Palikareva, H, Ouaknine, J, Roscoe, A

Έκδοση 2012
Journal article
Search Result 2
SAT-solving in CSP trace refinement

SAT-solving in CSP trace refinement ανά Palikareva, H, Ouaknine, J, Roscoe, A

Έκδοση 2012
Journal article
Search Result 3
SAT−Solving in CSP Trace Refinement

SAT−Solving in CSP Trace Refinement ανά Palikareva, H, Ouaknine, J, Roscoe, A

Έκδοση 2012
Journal article
Εμφάνιση όλων των εκδόσεων (4)

Παρόμοια τεκμήρια