Skip to search formSkip to main contentSkip to account menu

2-satisfiability

Known as: 2-SAT, MAX-2SAT, 2-CNF-SAT 
In computer science, 2-satisfiability is a computational problem of assigning values to variables, each of which has two possible values, in order to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Approximation algorithmBacktrackingBinary imageBoolean expression

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Yoga Practice for The Elderly: Good Choice to Avoid Falls
In Western societies the last several years, practicing yoga has really become fashionable and moved from being an auxiliary way… 
2016
2016
Analysis of the lowest airfares considering the different business models of airlines, the case of Budapest
This study reports the findings of a research that compared the lowest airfares of full-service network carriers and low-cost… 
Review
2012
Review
2012
Breakfast and Adolescent Academic Performance : An Analytical Review of Recent Research
ver the past several decades, researchers have suspected and confirmed various links between breakfast consumption and adolescent… 
2012
2012
Występowanie Boros schneideri (PANZER, 1796) (Coleoptera: Boridae) w południowo-wschodniej Polsce
2012
2012
Question Answering in Natural Language Narratives Using Symbolic Probabilistic Reasoning
We present a framework to represent and reason about narratives. We build a symbolic probabilistic representation of the temporal… 
2011
2011
A General Evaluation for Recycling Process of Impregnated Wood Removed From the Service
Agac malzemenin kullanim omrunu uzatmak icin kreozot, pentaklorfenol (PCP), bakir krom arsenik (CCA) gibi odun koruyucu… 
2009
2009
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof
Explaining the causes of infeasibility of Boolean formulas has many practical applications in various fields. A small… 
2007
2007
Estimation of cumulative cadmium intake causing Itai-itai disease
2005
2005
Branch-and-Bound Algorithms for MAX-2-SAT
2002
2002
Three empirical essays on investment in physical and human capital
This dissertation consists of three independent essays, all of which are empirical treatments of different types of investment… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)