Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

The 2-SAT Problem of Regular Signed CNF Formulas

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Bernhard Beckert, Reiner Hähnle und Felip Manyà
In:30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
Verleger:IEEE Computer Society
Jahr:2000
DOI:10.1109/ISMVL.2000.848640

BibTeX

@InProceedings{BeckertHaehnleManya2000,
  author    = {Bernhard Beckert and Reiner H\"ahnle and Felip Many\`a},
  title     = {The {2-SAT} Problem of Regular Signed {CNF} Formulas},
  booktitle = {30th {IEEE} International Symposium on Multiple-Valued
	       Logic ({ISMVL} 2000)},
  venue     = {Portland, Oregon, {USA}},
  publisher = {{IEEE} Computer Society},
  eventdate = {2000-05-23/2000-05-25},
  month     = may,
  year      = {2000} ,
  doi       = {10.1109/ISMVL.2000.848640}
}