Skip to search formSkip to main contentSkip to account menu

Horn-satisfiability

Known as: Horn satisfiability, Horn SAT, HORNSAT 
In formal logic, Horn-satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable or not… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
2-satisfiabilityBoolean satisfiability problemClause (logic)Horn clause

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A criterion for "easiness" of certain SAT problems
A generalized 1-in-3SAT problem is defined and found to be in complexity class P when restricted to a certain subset of CNF… 
2012
2012
Using cases as triggers for teachers’ thinking about practice: A comparison of responses to animations and videos
The AERA proposal is preserved here as summary. The full paper presented in AERA 2012 (Vancouver) is in the Main Article. 
Review
2007
Review
2007
Spare the Rod, Destroy the Child: Examining the Speculative Association of Corporal Punishment and Deviant Behavior among Youth.
The purpose of this analysis is to examine the relationship between the utilization of corporal punishment and its relationship… 
2006
2006
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on… 
2004
2004
Davis y Putman es lineal para Horn-SAT y cuadrático para 2-SAT
El esquema de Davis y de Putnam (DP en consecuencia, el algoritmo de D&P disenado de acuerdo con el problema general SAT corre… 
Review
2004
Review
2004
School Counseling Programs: Comparing GEAR UP Schools with Non-GEAR UP Schools.
A survey was conducted using qualitative means to assess school counseling programs in Montana. Schools that were demonstration… 
2004
2004
Cultural Diversity Issues in Cancer Nursing
Baker, K.S., Anderson, J.R., Lobe, T.E., Wharam, M.D., Qualman, S.J., Raney, R.B., et al. (2002). Children from ethnic minorities… 
1995
1995
Model Checking , Veri cation and Games
We develop a methodology based upon HORNSAT for model checking and for checking behavioral relations between nite state processes… 
1992
1992
Computing egomotion and shape from image motion using collinear points
Many years ago researchers (Helmholtz 1925, Gibson 1957) hypothesized that the 3-D motion and the shape of the environment are… 
1987
1987
Statistical filtering of motion field from image sequences
Techniques for the estimation of the motion vector field from image sequences may be subdivided into two main different… 
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)