Search results: Sage Journals

Open accessResearch articleFirst published February, 2008

SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results

Sriyankar Acharyya

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published January, 2002

Vincenzo Manca

Fundamenta Informaticae

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, 2006

Daniel Rolf

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2006

Evgeny Dantsin, Alexander Wolpert

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

Open accessResearch articleFirst published February, 2010

Utz-Uwe Haus, Klaus Truemper, Robert Weismantel

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2010

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published June, 2014

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2010

Geoffrey Chu, Aaron Harwood, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation