Search results: Sage Journals

Open accessResearch articleFirst published February, 2006

Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2007

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published May, 2012

Ruben Martins, Vasco Manquinho, Inês Lynce

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published February, 2006

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2008

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published February, 2011

Inês Lynce, Joao Marques-Silva

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2012

Marco Maratea

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2006

Inês Lynce

The European Journal on Artificial Intelligence

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 August, 2012

Konrad W. Schwerdtfeger

Journal on Satisfiability,Boolean Modelling and Computation