Balasim Al-Saedi

According to our database1, Balasim Al-Saedi authored at least 2 papers between 2014 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
About some UP-based polynomial fragments of SAT.
Ann. Math. Artif. Intell., 2017

2014
Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014


  Loading...