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)

Նմանատիպ նյութեր