Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.2014fop0007
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Related search

XRF-measured Bone Lead (Pb) as a Biomarker for Pb Exposure and Toxicity Among Children Diagnosed With Pb Poisoning

Biomarkers
MutagenesisClinical BiochemistryBiochemistryHealthMedicineToxicology
2016English

Measurement of the D0 Meson Production in Pb–Pb and P–Pb Collisions

Springer Theses
2016English

Robust Benchmark Set Selection for Boolean Constraint Solvers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Synthesis, Characterization and Thermochemistry of Synthetic Pb–As, Pb–Cu and Pb–Zn Jarosites

Geochimica et Cosmochimica Acta
PetrologyGeochemistry
2014English

Strangeness in PbPb Collisions at 158 a GeV

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy PhysicsNuclear
1997English

Jet Measurements in Pp, P–Pb and Pb–Pb Collisions With ALICE at the LHC.

2017English

The Kinetics Process of a Pb(ii)/Pb(0) Couple and Selective Fabrication of Li–Pb Alloys in LiCl–KCl Melts

RSC Advances
ChemistryChemical Engineering
2018English

Use of Modified Silica Gel for Concentrating Pb (II) and Cd (II) Occurring in Form of Complex Anions

Ecletica Quimica
ChemistryPhysicsAstronomy
2007English

Bottomonia Suppression in 2.76 TeV Pb-Pb Collisions

Physical Review C
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy