Search results: Sage Journals

Open accessResearch articleFirst published May, 2011

Experiment design and administration for computer clusters for SAT-solvers (EDACC)

Adrian Balint, Daniel Gall, Gregor Kapler [...]

Journal on Satisfiability,Boolean Modelling and Computation

Available accessOtherFirst published February, 2011

Josep Argelich

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2008

Josep Argelich, Chu-Min Li, Felip Manyà [...]

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published August, 2010

Takehide Soh, Katsumi Inoue, Naoyuki Tamura [...]

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2014

Cristian Grozea, Marius Popescu

Fundamenta Informaticae

Open accessResearch articleFirst published August, 2012

Sean A. Weaver, Katrina J. Ray, Victor W. Marek [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2012

Huan Chen, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published 2026

Taisuke Sato, Akihiro Takemura, Katsumi Inoue

Neurosymbolic Artificial Intelligence

Available accessResearch articleFirst published September 22, 2020

Yasha Pushak, Zongxu Mu, Holger H. Hoos

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published August, 2007

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation