Search results: Sage Journals

Free accessResearch articleFirst published February, 2010

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Open accessResearch articleFirst published November, 2011

Youssef Hamadi, Said Jabbour, Cedric Piette [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2009

Lei Fang, Michael S. Hsiao

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2019

William Klieber

Journal on Satisfiability,Boolean Modelling and Computation

Available accessOtherFirst published May, 2009

Matti Järvisalo

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published May, 2010

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2011

Florian Lonsing, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2009

Eugene Goldberg

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2010

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation