Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Boolean satisfiability problem
|
| gptkbp:affiliation |
gptkb:Johannes_Kepler_University_Linz
|
| gptkbp:application |
Boolean satisfiability problem
|
| gptkbp:category |
gptkb:software
|
| gptkbp:developer |
gptkb:Armin_Biere
|
| gptkbp:firstReleased |
2009
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lingeling
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:programmingLanguage |
C
|
| gptkbp:usedIn |
gptkb:SAT_Competition
|
| gptkbp:website |
http://fmv.jku.at/lingeling/
|
| gptkbp:bfsParent |
gptkb:Boolean_satisfiability_problem
gptkb:SAT_solvers |
| gptkbp:bfsLayer |
6
|