Solution and Optimization of Systems of Pseudo-Boolean Constraints
Aloul, F.A., Ramani, A., Sakallah, K.A., Markov, I.L.
Published in IEEE transactions on computers (01.10.2007)
Published in IEEE transactions on computers (01.10.2007)
Get full text
Journal Article
Satometer: how much have we searched?
Aloul, F.A., Sierawski, B.D., Sakallah, K.A.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2003)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2003)
Get full text
Journal Article
Solving difficult SAT instances in the presence of symmetry
Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.
Published in Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) (2002)
Published in Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) (2002)
Get full text
Conference Proceeding
PN Code Acquisition Using Boolean Satisfiability Techniques
Aloul, F.A., El-Tarhuni, M.
Published in 2009 IEEE Wireless Communications and Networking Conference (01.04.2009)
Published in 2009 IEEE Wireless Communications and Networking Conference (01.04.2009)
Get full text
Conference Proceeding
Satometer: how much have we searched?
Aloul, F.A., Sierawski, B.D., Sakallah, K.A.
Published in Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) (2002)
Published in Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) (2002)
Get full text
Conference Proceeding
Breaking instance-independent symmetries in exact graph coloring
Ramani, A., Aloul, F.A., Markov, I.L., Sakallah, K.A.
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition (2004)
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition (2004)
Get full text
Conference Proceeding
Improving the efficiency of circuit-to-BDD conversion by gate and input ordering
Aloul, F.A., Markov, I.L., Sakallah, K.A.
Published in Proceedings, IEEE International Conference on Computer Design (2002)
Published in Proceedings, IEEE International Conference on Computer Design (2002)
Get full text
Conference Proceeding
Generic ILP versus specialized 0-1 ILP: an update
Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.
Published in IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002 (2002)
Published in IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002 (2002)
Get full text
Conference Proceeding
Mobile RFID Tracking System
Al-Ali, A.R., Aloul, F.A., Aji, N.R., Al-Zarouni, A.A., Fakhro, N.H.
Published in 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications (01.04.2008)
Published in 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications (01.04.2008)
Get full text
Conference Proceeding
Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability
Aloul, F.A., Al-Rawi, B., Aboelaze, M.
Published in 2008 5th IEEE Consumer Communications and Networking Conference (01.01.2008)
Published in 2008 5th IEEE Consumer Communications and Networking Conference (01.01.2008)
Get full text
Conference Proceeding
Identifying the Shortest Path in Large Networks using Boolean Satisfiability
Aloul, F.A., Rawi, B.A.
Published in 2006 3rd International Conference on Electrical and Electronics Engineering (01.09.2006)
Published in 2006 3rd International Conference on Electrical and Electronics Engineering (01.09.2006)
Get full text
Conference Proceeding
Faster SAT and smaller BDDs via common function structure
Aloul, F.A., Markov, I.L., Sakallah, K.A.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2001)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2001)
Get full text
Conference Proceeding
Journal Article