cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.fjmaum
title: Occurrence Download

description: A dataset containing 90 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Rhododendron impeditum Balf.fil. & W.W.Sm."
 ]
}

 The dataset includes 90 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073410-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.97kmjt
title: Occurrence Download

description: A dataset containing 799841 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Machine Observation, Human Observation, Observation, Living Specimen, Material sample, Occurrence evidence)",
 "Country is one of (Japan, unknown or invalid)",
 "Geometry POLYGON((-220.97955 34.8714,-219.0419 34.8714,-219.0419 36.23096,-220.97955 36.23096,-220.97955 34.8714))",
 "TaxonKey is Chordata",
 "Year 2014-2024"
 ]
}

 The dataset includes 799841 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073398-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.13340573
title: Chemical composition data of sedimentary rocks from the Permian-Triassic boundary and Cretaceous oceanic anoxic events

description: Bulk chemical composition data of sedimentary rocks from the Permian-Triassic boundary and Cretaceous oceanic anoxic events. This is a supplementary dataset for “Geochemical variations in sedimentary records of oxygen-depleted marine environments in representative geological periods: New perspectives from a multivariate statistical technique” by Moei Yano et al.
DOI: 10.5281/zenodo.11658133
title: Clausal Congruence Closure Paper Logs, Plots and Tables

description: These are the log files and other experimental data of our paper on clausalcongruence closure together with generated plots and tables.
DOI: 10.5281/zenodo.10823099
title: CNF Encoded Hard Miters from IWLS'22 Paper

description: Five Hard Miters from an IWLS'22 Paper Encoded into CNF in two Ways

The IWLS'22 paper [1] by He-Teng Zhang, Jie-Hong R. Jiang, Alan Mishchenko,and Luca Amaru, which can be considered an update on their DAC'21 [2] paperwas focusing on a hybrid approach to SAT-sweeping, i.e., using a SAT solverincrementally, taking the circuit structure into account.

Experiments in [1] used a subset of the benchmarks from [2] which alsocontains five miters `n01`, `n04`, `n06`, and `test01` and `test02` providedto us by Alan Mishchenko and which were considered hard for SAT sweeping,and particularly for monolithic CNF-level SAT solving.

  [1] H.-T. Zhang, J.-H. R. Jiang, A. Mishchenko, and L. Amaru.  "Improved  large-scale SAT sweeping", In Proc. Intl. Work. on Logic Synthesis  (IWLS'22).

  [2] H.-T. Zhang, J.-H. R. Jiang, L. Amaru, A. Mishchenko, and R. Brayton.  "Deep integration of circuit simulator and SAT solver". In Proc. of Design  Automation Conference (DAC'21), 2021.

It turned out, confirmed by Alan Mishchenko, that the outputs of `test01`and `test02`, were flipped in the process they were generated.  This doesnot invalidate the SAT sweeping experiments in [1] and [2] at all, but needsto be taken care off, when encoding them into CNF with `aigtocnf`, by simplyfirst negating the outputs with `aigflip`.  Further note, that the otherthree AIGs `n01`, `n04`, and `n06` are not negated but have multiple outputsand thus we joined them by disjunction with `aigor`.

We have extended `aigtocnf` to detect XOR and ITE gates in AIGER circuits,i.e., during Tseitin encoding we check whether and an AND gate has twonegated AND gates as children and actually implements an XOR or ITE gate.In this case we use a direct CNF encoding of four clauses, instead of 9clauses for three AND gates, skipping the two child AND gates of the top ANDgate.  This reduces not only the number of clauses and variables but haspositive effects on solving time.  Thus all the CNF benchmarks come in twoflavors tagged `xits` with special treatment of XOR and ITE gates duringTseitin encoding and `ands` without.
DOI: 10.5281/zenodo.10823128
title: CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models

description: These miter benchmarks are used in a paper on congruence closure in 2024.

The miter AIGs in the [`aig`](aig) directory are the same as those used togenerate CNFs of miter benchmarks submitted to the SAT Challenge in 2012.Some of them have regularly been used in the SAT Competitions since then.

The AIGs are separated into two sets:

- [`aig/iso`](aig/iso) miters of isomorphic circuits- [`aig/opt`](aig/opt) miters of optimized versus original circuit

The first set checks equivalence of one circuit with itself in the[`aig/iso`](aig/iso) (isomorphic) sub-directory and second set containsequivalence checking problems (aka miters) comparing the original circuitwith an optimized version in the [`aig/opt`](aig/opt) (optimized)sub-directory.  The optimized versions of the circuits were obtained in 2012by the `dc2` script for [ABC](https://people.eecs.berkeley.edu/~alanmi/abc).We did not re-run ABC with a newer version in order to make sure we have asbase-line in our experiments the same CNFs, as they are well-known, i.e., they have been used in the SAT competitions for several years.

Note that the original AIGER models have state elements (called "latches"in AIGER terminology), but both the optimization with ABC as well as ourequivalence checking is purely combinational, by treating latches asadditional pseudo inputs, and next-state functions as output-functions.  Themiters were accordingly generated (by the 2011 version) of `aigmiter` usingthe `-c` option.  For the same reason as for ABC explained above, we did notrerun `aigmiter` either.

We then encoded the two sets of AIGs into CNF in two different ways.The first encoding just uses a simple Tseitin encoding, withoutPlaisted-Greenbaum optimization, i.e., using the `--no-pg` option, as in 2012.Even though we use a new version of `aigtocnf` in `src/aiger/aigtocnf.c` wemade sure that identical CNFs are generated for this first encoding variantby checking that the MD5 sum of the (actually compressed) CNF files match.This required to disable a newly introduced cone-of-influence (COI)optimization with `--no-coi` which skips unreachable gates even when thePlaisted-Greenbaum optimization is disabled.

The second variant of the encoding detects XOR and ITE gates by patternmatching and produces more concise CNFs by skipping internal AND gatesof detected XOR and ITE gates producing a direct encoding instead.

This gives the following sets of CNFs;

- [`cnf/ands/iso`](cnf/ands/iso) isomorphic circuits with ANDs only- [`cnf/ands/opt`](cnf/ands/opt) optimized versus original with ANDs only- [`cnf/xits/iso`](cnf/xits/isor) isomorphic circuits with ANDs, XORs, ITEs- [`cnf/xits/opt`](cnf/xits/opt) optimized versus original with ANDs, XORs, ITEs

All the CNFs in these directories have the same original file name of theAIGER model to simplify run-time comparison.  In `cnf/all` we furtherprovide links with qualified names to distinguish them.
DOI: 10.5281/zenodo.11426992
title: SAT Competition 2023 Main Track Benchmarks

description: These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2023.
DOI: 10.5281/zenodo.11428010
title: SAT Competition 2022 Main Track Benchmarks

description: These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2022.
DOI: 10.5281/zenodo.11652423
title: Clausal Congruence Closure Paper Source Code

description: This is the source code used in our experiments of our congruence closure paper.
DOI: 10.15468/dl.h9skpz
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((146.361757 -34.307357, 146.361757 -34.309603, 146.359512 -34.309603, 146.359512 -34.314095, 146.364003 -34.314095, 146.364003 -34.323078, 146.366249 -34.323078, 146.366249 -34.329815, 146.364003 -34.329815, 146.364003 -34.325324, 146.359512 -34.325324, 146.359512 -34.316341, 146.357266 -34.316341, 146.357266 -34.309603, 146.348283 -34.309603, 146.348283 -34.311849, 146.334808 -34.311849, 146.334808 -34.314095, 146.330316 -34.314095, 146.330316 -34.316341, 146.334808 -34.316341, 146.334808 -34.320832, 146.339299 -34.320832, 146.339299 -34.325324, 146.343791 -34.325324, 146.343791 -34.32757, 146.348283 -34.32757, 146.348283 -34.329815, 146.352774 -34.329815, 146.352774 -34.332061, 146.361757 -34.332061, 146.361757 -34.334307, 146.366249 -34.334307, 146.366249 -34.332061, 146.375232 -34.332061, 146.375232 -34.329815, 146.379724 -34.329815, 146.379724 -34.32757, 146.384215 -34.32757, 146.384215 -34.309603, 146.379724 -34.309603, 146.379724 -34.307357, 146.361757 -34.307357))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073411-240626123714530/datasets/export for details.
DOI: 10.34740/kaggle/dsv/9200941
title: Egypt Gold Prices | Daily Updated
DOI: 10.15468/dl.2xjvxx
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((148.212296 -34.314095, 148.212296 -34.316341, 148.205558 -34.316341, 148.205558 -34.320832, 148.207804 -34.320832, 148.207804 -34.323078, 148.221279 -34.323078, 148.221279 -34.316341, 148.214542 -34.316341, 148.214542 -34.314095, 148.212296 -34.314095))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073413-240626123714530/datasets/export for details.
DOI: 10.15468/dl.xtefnt
title: Occurrence Download

description: A dataset containing 809893 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is India",
 "DatasetKey is iNaturalist Research-grade Observations"
 ]
}

 The dataset includes 809893 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073405-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.aqazvm
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Rhododendron impositum J.J.Sm."
 ]
}

 The dataset includes 3 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073414-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7p455b
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "MULTIPOLYGON (((148.237 -34.307357, 148.237 -34.309603, 148.234754 -34.309603, 148.234754 -34.314095, 148.239245 -34.314095, 148.239245 -34.316341, 148.243737 -34.316341, 148.243737 -34.307357, 148.237 -34.307357)), ((148.239245 -34.316341, 148.230262 -34.316341, 148.230262 -34.323078, 148.239245 -34.323078, 148.239245 -34.316341)))"
 ]
}

 The dataset includes 2 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073415-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.kr5y8m
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((32.44563 35.60404,58.53136 35.60404,58.53136 46.03387,32.44563 46.03387,32.44563 35.60404))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is BOLD:AAC1486"
 ]
}

 The dataset includes 3 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073416-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.369nwv
title: Occurrence Download

description: A dataset containing 9 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((26.68913 40.63868,47.46929 40.63868,47.46929 48.94718,26.68913 48.94718,26.68913 40.63868))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Hyalomma marginatum C.L.Koch, 1844"
 ]
}

 The dataset includes 9 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073418-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6mehkf
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((149.090403 -34.318586, 149.090403 -34.320832, 149.088157 -34.320832, 149.088157 -34.323078, 149.094895 -34.323078, 149.094895 -34.318586, 149.090403 -34.318586))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073417-240626123714530/datasets/export for details.
DOI: 10.15468/dl.hfr8rq
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Rhododendron impressopunctatum J.J.Sm."
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073419-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.49mfmm
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((148.237 -34.325324, 148.237 -34.329815, 148.239245 -34.329815, 148.239245 -34.325324, 148.237 -34.325324))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073420-240626123714530/datasets/export for details.
DOI: 10.15468/dl.f838uh
title: Occurrence Download

description: A dataset listing the 951 species recorded in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Machine Observation, Human Observation, Observation, Living Specimen, Material sample, Occurrence evidence)",
 "Country is one of (Japan, unknown or invalid)",
 "Geometry POLYGON((-220.97955 34.8714,-219.0419 34.8714,-219.0419 36.23096,-220.97955 36.23096,-220.97955 34.8714))",
 "TaxonKey is Chordata",
 "Year 2014-2024"
 ]
}

 The dataset's 951 records were derived from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073408-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.txnrqj
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Rhododendron inaequale (C.B.Clarke) Hutch."
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073421-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6fgyjn
title: Occurrence Download

description: A dataset containing 27 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((149.074683 -34.329815, 149.074683 -34.332061, 149.072437 -34.332061, 149.072437 -34.336553, 149.079174 -34.336553, 149.079174 -34.334307, 149.083666 -34.334307, 149.083666 -34.332061, 149.08142 -34.332061, 149.08142 -34.329815, 149.074683 -34.329815))"
 ]
}

 The dataset includes 27 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073422-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.zfaz7z
title: Occurrence Download

description: A dataset listing the 2874202 species recorded in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset's 2874202 records were derived from 64023 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073401-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11545728
title: Dataset related to diabetes phase 3 of the project "Transition care between adolescent and adult services for young people with chronic health needs in Italy", funded by the Italian Ministry of Health (RF-2019-12371228).

description: Dataset related to diabetes phase 3 of the project "Transition care between adolescent and adult services for young people with chronic health needs in Italy", funded by the Italian Ministry of Health (RF-2019-12371228).
DOI: 10.5281/zenodo.11545729
title: Dataset related to diabetes phase 3 of the project "Transition care between adolescent and adult services for young people with chronic health needs in Italy", funded by the Italian Ministry of Health (RF-2019-12371228).

description: Dataset related to diabetes phase 3 of the project "Transition care between adolescent and adult services for young people with chronic health needs in Italy", funded by the Italian Ministry of Health (RF-2019-12371228).
DOI: 10.25549/independent-c69-28850
title: 6.1. Hubert Williams materials (2 of 3), 1987-11-18

description: "Review of administrative processes of the Tampa police department" Washington, DC: Police Foundation, 1987 November 18. 6.1. Hubert Williams materials (2 of 3), 1987 November 18. PART OF A SERIES: The series pertains to the work of Munger, Tolles & Olson, the firm responsible for coordinating the activities and proceedings of the Independent Commission's legal counsel. Included are legal briefs, court transcripts, and memoranda; press releases and article clippings about the Rodney King incident and the subsequent creation of the Independent Commission; summaries of witness interviews; analyses of legislation regarding the role and purview of peace officers; work plans and outlines developed by Commission staff; draft copies developed for all sections of the Commission report; supplemental materials for the report, including a copy of the Rodney King arrest log, law enforcement literature, and public opinion surveys; materials distributed and reviewed during Commission meetings; letters of interest submitted to Chairman Christopher from prospective Commission members and organizations; and lists of bills and Commission expenditures.
DOI: 10.17632/vspkxwc9fm.1
title: Jasonia montana

description: Jasonia montana
DOI: 10.15468/dl.zfqpfx
title: Occurrence Download

description: A dataset containing 5922 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Thymus zygis Brot., 1804",
 "Country is Spain"
 ]
}

 The dataset includes 5922 records from 51 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002816-150615163101818/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-28860
title: 6.1. Hubert Williams materials (2 of 3), 1987-11-18

description: "Review of administrative processes of the Tampa police department" Washington, DC: Police Foundation, 1987 November 18. 6.1. Hubert Williams materials (2 of 3), 1987 November 18. PART OF A SERIES: The series pertains to the work of Munger, Tolles & Olson, the firm responsible for coordinating the activities and proceedings of the Independent Commission's legal counsel. Included are legal briefs, court transcripts, and memoranda; press releases and article clippings about the Rodney King incident and the subsequent creation of the Independent Commission; summaries of witness interviews; analyses of legislation regarding the role and purview of peace officers; work plans and outlines developed by Commission staff; draft copies developed for all sections of the Commission report; supplemental materials for the report, including a copy of the Rodney King arrest log, law enforcement literature, and public opinion surveys; materials distributed and reviewed during Commission meetings; letters of interest submitted to Chairman Christopher from prospective Commission members and organizations; and lists of bills and Commission expenditures.
DOI: 10.15468/dl.hv6gep
title: Occurrence Download

description: A dataset containing 3624 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Glyptemys insculpta (Le Conte, 1830)",
 "Year 2004-2024"
 ]
}

 The dataset includes 3624 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014682-240202131308920/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.mllnas
title: Occurrence Download

description: A dataset containing 502 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Xenodacnis Cabanis, 1873"
 ]
}

 The dataset includes 502 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002816-150811131857512/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-28813
title: 6.1. Hubert Williams materials (2 of 3), 1987-11-18

description: "Review of administrative processes of the Tampa police department" Washington, DC: Police Foundation, 1987 November 18. 6.1. Hubert Williams materials (2 of 3), 1987 November 18. PART OF A SERIES: The series pertains to the work of Munger, Tolles & Olson, the firm responsible for coordinating the activities and proceedings of the Independent Commission's legal counsel. Included are legal briefs, court transcripts, and memoranda; press releases and article clippings about the Rodney King incident and the subsequent creation of the Independent Commission; summaries of witness interviews; analyses of legislation regarding the role and purview of peace officers; work plans and outlines developed by Commission staff; draft copies developed for all sections of the Commission report; supplemental materials for the report, including a copy of the Rodney King arrest log, law enforcement literature, and public opinion surveys; materials distributed and reviewed during Commission meetings; letters of interest submitted to Chairman Christopher from prospective Commission members and organizations; and lists of bills and Commission expenditures.
DOI: 10.15468/dl.up575k
title: Occurrence Download

description: A dataset containing 296 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Geometry POLYGON((28.20695 30.57444,28.96357 30.57444,28.96357 31.15298,28.20695 31.15298,28.20695 30.57444))",
 "Geometry POLYGON((27.81416 30.37516,29.3961 30.37516,29.3961 31.28094,27.81416 31.28094,27.81416 30.37516))"
 ]
 },
 "HasCoordinate is true",
 "TaxonKey is Aves"
 ]
}

 The dataset includes 296 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002215-240216155721649/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.