Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "unit propagation"
download as .bib file
@inproceedings{DBLP:conf/ricai/YeW23,
author = {Qiangbo Ye and
Zhizhou Wu},
title = {Optimization Method of Roadside Unit Location for Information Propagation},
booktitle = {5th International Conference on Robotics, Intelligent Control and
Artificial Intelligence, {RICAI} 2023, Hangzhou, China, December 1-3,
2023},
pages = {1057--1061},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RICAI60863.2023.10489047},
doi = {10.1109/RICAI60863.2023.10489047},
timestamp = {Sat, 20 Apr 2024 12:53:27 +0200},
biburl = {https://dblp.org/rec/conf/ricai/YeW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KaiserCM23,
author = {Benjamin Kaiser and
Robert Clausecker and
Michael Mavroskoufis},
editor = {Matti J{\"{a}}rvisalo and
Daniel Le Berre},
title = {Prioritised Unit Propagation by Partitioning the Watch Lists},
booktitle = {Proceedings of the 14th International Workshop on Pragmatics of {SAT}
co-located with the 26th International Conference on Theory and Applications
of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3545},
pages = {14--34},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3545/paper2.pdf},
timestamp = {Wed, 20 Dec 2023 17:08:34 +0100},
biburl = {https://dblp.org/rec/conf/sat/KaiserCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14446,
author = {Ralf Wimmer and
Ming{-}Yi Hu},
title = {Using Unit Propagation with Universal Reduction in {DQBF} Preprocessing},
journal = {CoRR},
volume = {abs/2303.14446},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14446},
doi = {10.48550/ARXIV.2303.14446},
eprinttype = {arXiv},
eprint = {2303.14446},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-01750,
author = {Petr Savick{\'{y}}},
title = {On {CNF} formulas irredundant with respect to unit clause propagation},
journal = {CoRR},
volume = {abs/2309.01750},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01750},
doi = {10.48550/ARXIV.2309.01750},
eprinttype = {arXiv},
eprint = {2309.01750},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/GayakwadT22,
author = {Himanshi Gayakwad and
Jothi Saravanan Thiyagarajan},
title = {Structural Damage Detection through {EMI} and Wave Propagation Techniques
Using Embedded {PZT} Smart Sensing Units},
journal = {Sensors},
volume = {22},
number = {6},
pages = {2296},
year = {2022},
url = {https://doi.org/10.3390/s22062296},
doi = {10.3390/S22062296},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/GayakwadT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08659,
author = {Mads Lindskou and
Torben Tvedebrink and
Poul Svante Eriksen and
S{\o}ren H{\o}jsgaard and
Niels Morling},
title = {Unity Smoothing for Handling Inconsistent Evidence in Bayesian Networks
and Unity Propagation for Faster Inference},
journal = {CoRR},
volume = {abs/2201.08659},
year = {2022},
url = {https://arxiv.org/abs/2201.08659},
eprinttype = {arXiv},
eprint = {2201.08659},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-08659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/SchulzeCOMM21,
author = {Jan C. Schulze and
Adrian Caspari and
Christoph Offermanns and
Adel Mhamdi and
Alexander Mitsos},
title = {Nonlinear model predictive control of ultra-high-purity air separation
units using transient wave propagation model},
journal = {Comput. Chem. Eng.},
volume = {145},
pages = {107163},
year = {2021},
url = {https://doi.org/10.1016/j.compchemeng.2020.107163},
doi = {10.1016/J.COMPCHEMENG.2020.107163},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/SchulzeCOMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/LiangMLH21,
author = {Yunyi Liang and
Ning Ma and
Xin Li and
Jia Hu},
title = {Stochastic Roadside Unit Location Optimization for Information Propagation
in the Internet of Vehicles},
journal = {{IEEE} Internet Things J.},
volume = {8},
number = {17},
pages = {13316--13327},
year = {2021},
url = {https://doi.org/10.1109/JIOT.2021.3065411},
doi = {10.1109/JIOT.2021.3065411},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/LiangMLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CaiLZZ21,
author = {Shaowei Cai and
Chuan Luo and
Xindi Zhang and
Jian Zhang},
editor = {Laurent D. Michel},
title = {Improving Local Search for Structured {SAT} Formulas via Unit Propagation
Based Construct and Cut Initialization (Short Paper)},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {5:1--5:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.5},
doi = {10.4230/LIPICS.CP.2021.5},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/CaiLZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/IserB21,
author = {Markus Iser and
Tom{\'{a}}s Balyo},
editor = {Laurent D. Michel},
title = {Unit Propagation with Stable Watches (Short Paper)},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {6:1--6:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.6},
doi = {10.4230/LIPICS.CP.2021.6},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/IserB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CaiL20,
author = {Shaowei Cai and
Zhendong Lei},
title = {Old techniques in new ways: Clause weighting, unit propagation and
hybridization for maximum satisfiability},
journal = {Artif. Intell.},
volume = {287},
pages = {103354},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103354},
doi = {10.1016/J.ARTINT.2020.103354},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CaiL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiXLMLL20,
author = {Chu{-}Min Li and
Fan Xiao and
Mao Luo and
Felip Many{\`{a}} and
Zhipeng L{\"{u}} and
Yu Li},
title = {Clause vivification by unit propagation in {CDCL} {SAT} solvers},
journal = {Artif. Intell.},
volume = {279},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103197},
doi = {10.1016/J.ARTINT.2019.103197},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiXLMLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Takeuchi20,
author = {Keigo Takeuchi},
title = {Rigorous Dynamics of Expectation-Propagation-Based Signal Recovery
from Unitarily Invariant Measurements},
journal = {{IEEE} Trans. Inf. Theory},
volume = {66},
number = {1},
pages = {368--386},
year = {2020},
url = {https://doi.org/10.1109/TIT.2019.2947058},
doi = {10.1109/TIT.2019.2947058},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/Takeuchi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NamGCWL20,
author = {Woo{-}Jeoung Nam and
Shir Gur and
Jaesik Choi and
Lior Wolf and
Seong{-}Whan Lee},
title = {Relative Attributing Propagation: Interpreting the Comparative Contributions
of Individual Units in Deep Neural Networks},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2501--2508},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5632},
doi = {10.1609/AAAI.V34I03.5632},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NamGCWL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/Dlask20,
author = {Tom{\'{a}}s Dlask},
editor = {Giuseppe Nicosia and
Varun Ojha and
Emanuele La Malfa and
Giorgio Jansen and
Vincenzo Sciacca and
Panos M. Pardalos and
Giovanni Giuffrida and
Renato Umeton},
title = {Unit Propagation by Means of Coordinate-Wise Minimization},
booktitle = {Machine Learning, Optimization, and Data Science - 6th International
Conference, {LOD} 2020, Siena, Italy, July 19-23, 2020, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12565},
pages = {688--699},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64583-0\_60},
doi = {10.1007/978-3-030-64583-0\_60},
timestamp = {Mon, 07 Feb 2022 17:57:40 +0100},
biburl = {https://dblp.org/rec/conf/mod/Dlask20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangZTRL19,
author = {Hongwei Wang and
Genbao Zhang and
Guibao Tao and
Yan Ran and
Yulong Li},
title = {A Novel Structural Decomposition Method for Error Propagation Mechanism
Analysis Based on Meta-Action Unit Theory},
journal = {{IEEE} Access},
volume = {7},
pages = {95108--95121},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2928464},
doi = {10.1109/ACCESS.2019.2928464},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WangZTRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00605,
author = {Woo{-}Jeoung Nam and
Jaesik Choi and
Seong{-}Whan Lee},
title = {Relative Attributing Propagation: Interpreting the Comparative Contributions
of Individual Units in Deep Neural Networks},
journal = {CoRR},
volume = {abs/1904.00605},
year = {2019},
url = {http://arxiv.org/abs/1904.00605},
eprinttype = {arXiv},
eprint = {1904.00605},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01192,
author = {Jingchao Chen},
title = {Core First Unit Propagation},
journal = {CoRR},
volume = {abs/1907.01192},
year = {2019},
url = {http://arxiv.org/abs/1907.01192},
eprinttype = {arXiv},
eprint = {1907.01192},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-05906,
author = {Xujie Si and
Yujia Li and
Vinod Nair and
Felix Gimeno},
title = {Prioritized Unit Propagation with Periodic Resetting is (Almost) All
You Need for Random {SAT} Solving},
journal = {CoRR},
volume = {abs/1912.05906},
year = {2019},
url = {http://arxiv.org/abs/1912.05906},
eprinttype = {arXiv},
eprint = {1912.05906},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-05906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/DenhamL18,
author = {M{\'{o}}nica Denham and
Karina Laneri},
title = {Using efficient parallelization in Graphic Processing Units to parameterize
stochastic fire propagation models},
journal = {J. Comput. Sci.},
volume = {25},
pages = {76--88},
year = {2018},
url = {https://doi.org/10.1016/j.jocs.2018.02.007},
doi = {10.1016/J.JOCS.2018.02.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocs/DenhamL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsv/FrancheC18,
author = {Jean{-}Francois Franche and
St{\'{e}}phane Coulombe},
title = {Efficient H.264-to-HEVC Transcoding Based on Motion Propagation and
Post-Order Traversal of Coding Tree Units},
journal = {{IEEE} Trans. Circuits Syst. Video Technol.},
volume = {28},
number = {12},
pages = {3452--3466},
year = {2018},
url = {https://doi.org/10.1109/TCSVT.2017.2754491},
doi = {10.1109/TCSVT.2017.2754491},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsv/FrancheC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11061,
author = {Chu{-}Min Li and
Fan Xiao and
Mao Luo and
Felip Many{\`{a}} and
Zhipeng L{\"{u}} and
Yu Li},
title = {Clause Vivification by Unit Propagation in {CDCL} {SAT} Solvers},
journal = {CoRR},
volume = {abs/1807.11061},
year = {2018},
url = {http://arxiv.org/abs/1807.11061},
eprinttype = {arXiv},
eprint = {1807.11061},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02638,
author = {Xinsheng Qin and
Randall J. LeVeque and
Michael R. Motley},
title = {Accelerating wave-propagation algorithms with adaptive mesh refinement
using the Graphics Processing Unit {(GPU)}},
journal = {CoRR},
volume = {abs/1808.02638},
year = {2018},
url = {http://arxiv.org/abs/1808.02638},
eprinttype = {arXiv},
eprint = {1808.02638},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-02638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpr/ReillyPS17,
author = {Patrick J. Reilly and
Jennifer A. Pazour and
Kellie R. Schneider},
title = {Propagation of unit location uncertainty in dense storage environments},
journal = {Int. J. Prod. Res.},
volume = {55},
number = {18},
pages = {5435--5449},
year = {2017},
url = {https://doi.org/10.1080/00207543.2017.1319582},
doi = {10.1080/00207543.2017.1319582},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijpr/ReillyPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/MassariLR17,
author = {Mauro Massari and
Pierluigi Di Lizia and
Mirco Rasotto},
title = {Nonlinear Uncertainty Propagation in Astrodynamics Using Differential
Algebra and Graphics Processing Units},
journal = {J. Aerosp. Inf. Syst.},
volume = {14},
number = {9},
pages = {493--503},
year = {2017},
url = {https://doi.org/10.2514/1.I010535},
doi = {10.2514/1.I010535},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacic/MassariLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jits/KimP17,
author = {Yong Hoon Kim and
Srinivas Peeta},
title = {Modeling of the dynamic flow propagation of multiple units of information
under vehicle-to-vehicle communications based advanced traveler information
systems},
journal = {J. Intell. Transp. Syst.},
volume = {21},
number = {4},
pages = {310--323},
year = {2017},
url = {https://doi.org/10.1080/15472450.2017.1334559},
doi = {10.1080/15472450.2017.1334559},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jits/KimP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpec/BamellSSG17,
author = {Mark Barnell and
Nathan Stokes and
Jason Steeger and
Jessie Grabowski},
title = {Ultra-high fidelity radio frequency propagation modeling using distributed
high performance graphical processing units: {A} simulator for multi-element
non-stationary antenna systems},
booktitle = {2017 {IEEE} High Performance Extreme Computing Conference, {HPEC}
2017, Waltham, MA, USA, September 12-14, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/HPEC.2017.8091082},
doi = {10.1109/HPEC.2017.8091082},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpec/BamellSSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/Takeuchi17,
author = {Keigo Takeuchi},
title = {Rigorous dynamics of expectation-propagation-based signal recovery
from unitarily invariant measurements},
booktitle = {2017 {IEEE} International Symposium on Information Theory, {ISIT}
2017, Aachen, Germany, June 25-30, 2017},
pages = {501--505},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISIT.2017.8006578},
doi = {10.1109/ISIT.2017.8006578},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isit/Takeuchi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Takeuchi17,
author = {Keigo Takeuchi},
title = {Rigorous Dynamics of Expectation-Propagation-Based Signal Recovery
from Unitarily Invariant Measurements},
journal = {CoRR},
volume = {abs/1701.05284},
year = {2017},
url = {http://arxiv.org/abs/1701.05284},
eprinttype = {arXiv},
eprint = {1701.05284},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Takeuchi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Takeuchi17a,
author = {Keigo Takeuchi},
title = {Rigorous Dynamics of Expectation-Propagation-Based Signal Recovery
from Unitarily Invariant Measurements},
journal = {CoRR},
volume = {abs/1701.05653},
year = {2017},
url = {http://arxiv.org/abs/1701.05653},
eprinttype = {arXiv},
eprint = {1701.05653},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Takeuchi17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/DaiFYJ16,
author = {Yuan Dai and
Yong Fang and
Long Yang and
Gwanggil Jeon},
title = {Graphics processing unit-accelerated joint-bitplane belief propagation
algorithm in {DSC}},
journal = {J. Supercomput.},
volume = {72},
number = {6},
pages = {2351--2375},
year = {2016},
url = {https://doi.org/10.1007/s11227-016-1736-5},
doi = {10.1007/S11227-016-1736-5},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/DaiFYJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/ZhaoJW16,
author = {Yang Zhao and
Jingfei Jiang and
Pengbo Wu},
editor = {Xinyi Huang and
Yang Xiang and
Kuan{-}Ching Li},
title = {Improved Survey Propagation on Graphics Processing Units},
booktitle = {Green, Pervasive, and Cloud Computing - 11th International Conference,
{GPC} 2016, Xi'an, China, May 6-8, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9663},
pages = {30--41},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39077-2\_3},
doi = {10.1007/978-3-319-39077-2\_3},
timestamp = {Thu, 24 Feb 2022 11:50:56 +0100},
biburl = {https://dblp.org/rec/conf/gpc/ZhaoJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccci/MesicekZDKK16,
author = {Jakub Mesicek and
Jan Zdarsky and
Rafael Dolezal and
Ondrej Krejcar and
Kamil Kuca},
editor = {Ngoc Thanh Nguyen and
Yannis Manolopoulos and
Lazaros S. Iliadis and
Bogdan Trawinski},
title = {Simulations of Light Propagation and Thermal Response in Biological
Tissues Accelerated by Graphics Processing Unit},
booktitle = {Computational Collective Intelligence - 8th International Conference,
{ICCCI} 2016, Halkidiki, Greece, September 28-30, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9876},
pages = {242--251},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45246-3\_23},
doi = {10.1007/978-3-319-45246-3\_23},
timestamp = {Thu, 16 Mar 2023 20:00:30 +0100},
biburl = {https://dblp.org/rec/conf/iccci/MesicekZDKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icm2/AliHA16,
author = {Lamya G. Ali and
Aziza I. Hussein and
Hanafy M. Ali},
title = {Parallelization of unit propagation algorithm for SAT-based {ATPG}
of digital circuits},
booktitle = {28th International Conference on Microelectronics, {ICM} 2016, Giza,
Egypt, December 17-20, 2016},
pages = {184--188},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICM.2016.7847940},
doi = {10.1109/ICM.2016.7847940},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icm2/AliHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/YanLP15,
author = {Ying Yan and
Peter B. Luh and
Krishna R. Pattipati},
title = {A fault diagnosis method for {HVAC} Air Handling Units considering
fault propagation},
booktitle = {{IEEE} International Conference on Automation Science and Engineering,
{CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
pages = {961--966},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CoASE.2015.7294223},
doi = {10.1109/COASE.2015.7294223},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/YanLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/KongSZZCIMTKT15,
author = {Weisheng Kong and
Salvatore Sessa and
Di Zhang and
Massimiliano Zecca and
Sarah Cosentino and
Hiroyuki Ishii and
Daniele Magistro and
Hikaru Takeuchi and
Ryuta Kawashima and
Atsuo Takanishi},
title = {Angular sway propagation in One Leg Stance and quiet stance with Inertial
Measurement Units for older adults},
booktitle = {37th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
2015},
pages = {6955--6958},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMBC.2015.7319992},
doi = {10.1109/EMBC.2015.7319992},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/KongSZZCIMTKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AbrameH15,
author = {Andr{\'{e}} Abram{\'{e}} and
Djamal Habet},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {On the Resiliency of Unit Propagation to Max-Resolution},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {268--274},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/044},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AbrameH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AbrameH14,
author = {Andr{\'{e}} Abram{\'{e}} and
Djamal Habet},
editor = {Stefan Edelkamp and
Roman Bart{\'{a}}k},
title = {Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT
Solvers},
booktitle = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
{SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
pages = {2--9},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/socs.v5i1.18313},
doi = {10.1609/SOCS.V5I1.18313},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/AbrameH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gandc/MuCW13,
author = {Dawei Mu and
Po Chen and
Liqiang Wang},
title = {Accelerating the discontinuous Galerkin method for seismic wave propagation
simulations using the graphic processing unit {(GPU)} - single-GPU
implementation},
journal = {Comput. Geosci.},
volume = {51},
pages = {282--292},
year = {2013},
url = {https://doi.org/10.1016/j.cageo.2012.07.017},
doi = {10.1016/J.CAGEO.2012.07.017},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/gandc/MuCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingEG13,
author = {Florian Lonsing and
Uwe Egly and
Allen Van Gelder},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Efficient Clause Learning for Quantified Boolean Formulas via {QBF}
Pseudo Unit Propagation},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {100--115},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_9},
doi = {10.1007/978-3-642-39071-5\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/para/SiroH12,
author = {Topi Siro and
Ari Harju},
editor = {Pekka Manninen and
Per {\"{O}}ster},
title = {Time Propagation of Many-Body Quantum States on Graphics Processing
Units},
booktitle = {Applied Parallel and Scientific Computing - 11th International Conference,
{PARA} 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7782},
pages = {141--152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36803-5\_10},
doi = {10.1007/978-3-642-36803-5\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/para/SiroH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0731,
author = {Olivier Bailleux},
title = {Unit contradiction versus unit propagation},
journal = {CoRR},
volume = {abs/1204.0731},
year = {2012},
url = {http://arxiv.org/abs/1204.0731},
eprinttype = {arXiv},
eprint = {1204.0731},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cphysics/Alcaraz-PelegrinaR11,
author = {J. M. Alcaraz{-}Pelegrina and
P. Rodr{\'{\i}}guez{-}Garc{\'{\i}}a},
title = {Simulations of pulse propagation in optical fibers using graphics
processor units},
journal = {Comput. Phys. Commun.},
volume = {182},
number = {7},
pages = {1414--1420},
year = {2011},
url = {https://doi.org/10.1016/j.cpc.2011.03.007},
doi = {10.1016/J.CPC.2011.03.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cphysics/Alcaraz-PelegrinaR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GableskeH11,
author = {Oliver Gableske and
Marijn Heule},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {EagleUP: Solving Random 3-SAT Using {SLS} with Unit Propagation},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {367--368},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_32},
doi = {10.1007/978-3-642-21581-0\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/GableskeH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/KaufmannK11,
author = {Michael Kaufmann and
Stephan Kottler},
editor = {Panos M. Pardalos and
Steffen Rebennack},
title = {Beyond Unit Propagation in {SAT} Solving},
booktitle = {Experimental Algorithms - 10th International Symposium, {SEA} 2011,
Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6630},
pages = {267--279},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20662-7\_23},
doi = {10.1007/978-3-642-20662-7\_23},
timestamp = {Mon, 05 Feb 2024 20:31:36 +0100},
biburl = {https://dblp.org/rec/conf/wea/KaufmannK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-1317,
author = {Pashootan Vaezipoor and
David G. Mitchell and
Maarten Mari{\"{e}}n},
title = {Lifted Unit Propagation for Effective Grounding},
journal = {CoRR},
volume = {abs/1109.1317},
year = {2011},
url = {http://arxiv.org/abs/1109.1317},
eprinttype = {arXiv},
eprint = {1109.1317},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mbec/CesconMF08,
author = {Corrado Cescon and
Pascal Madeleine and
Dario Farina},
title = {Longitudinal and transverse propagation of surface mechanomyographic
waves generated by single motor unit activity},
journal = {Medical Biol. Eng. Comput.},
volume = {46},
number = {9},
pages = {871--877},
year = {2008},
url = {https://doi.org/10.1007/s11517-008-0357-4},
doi = {10.1007/S11517-008-0357-4},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mbec/CesconMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/HerasMM08,
author = {Federico Heras and
Vasco M. Manquinho and
Jo{\~{a}}o Marques{-}Silva},
editor = {David Wilson and
H. Chad Lane},
title = {On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean
Optimization},
booktitle = {Proceedings of the Twenty-First International Florida Artificial Intelligence
Research Society Conference, May 15-17, 2008, Coconut Grove, Florida,
{USA}},
pages = {71--76},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/FLAIRS/2008/flairs08-023.php},
timestamp = {Wed, 26 Oct 2022 08:35:23 +0200},
biburl = {https://dblp.org/rec/conf/flairs/HerasMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Bacchus07a,
author = {Fahiem Bacchus},
editor = {Christian Bessiere},
title = {{GAC} Via Unit Propagation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {133--147},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_12},
doi = {10.1007/978-3-540-74970-7\_12},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Bacchus07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smi/ChenL07,
author = {Yi{-}Ling Chen and
Shang{-}Hong Lai},
title = {A Partition-of-Unity Based Algorithm for Implicit Surface Reconstruction
Using Belief Propagation},
booktitle = {2007 International Conference on Shape Modeling and Applications {(SMI}
2007), 13-15 June 2007, Lyon, France},
pages = {147--155},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SMI.2007.3},
doi = {10.1109/SMI.2007.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smi/ChenL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ManoliosZ06,
author = {Panagiotis Manolios and
Yimin Zhang},
editor = {Armin Biere and
Carla P. Gomes},
title = {Implementing Survey Propagation on Graphics Processing Units},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {311--324},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_30},
doi = {10.1007/11814948\_30},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/ManoliosZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LiMP05,
author = {Chu Min Li and
Felip Many{\`{a}} and
Jordi Planes},
editor = {Peter van Beek},
title = {Exploiting Unit Propagation to Compute Lower Bounds in Branch and
Bound Max-SAT Solvers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {403--414},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_31},
doi = {10.1007/11564751\_31},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LiMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Stenz05,
author = {Gernot Stenz},
editor = {Bernhard Beckert},
title = {Unit Propagation in a Tableau Framework},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {338--342},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_29},
doi = {10.1007/11554554\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Stenz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cond-mat-0508125,
author = {Christophe Deroulers and
R{\'{e}}mi Monasson},
title = {Criticality and Universality in the Unit-Propagation Search Rule},
journal = {CoRR},
volume = {abs/cond-mat/0508125},
year = {2005},
url = {http://arxiv.org/abs/cond-mat/0508125},
eprinttype = {arXiv},
eprint = {cond-mat/0508125},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cond-mat-0508125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/YouH04,
author = {Jia{-}Huai You and
Guiwen Hou},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Arc-Consistency + Unit Propagation = Lookahead},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {314--328},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_22},
doi = {10.1007/978-3-540-27775-0\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/YouH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/Anbulagan04,
author = {Anbulagan},
editor = {Chengqi Zhang and
Hans W. Guesgen and
Wai{-}Kiang Yeap},
title = {Extending Unit Propagation Look-Ahead of {DPLL} Procedure},
booktitle = {{PRICAI} 2004: Trends in Artificial Intelligence, 8th Pacific Rim
International Conference on Artificial Intelligence, Auckland, New
Zealand, August 9-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3157},
pages = {173--182},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28633-2\_20},
doi = {10.1007/978-3-540-28633-2\_20},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/Anbulagan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Novikov03,
author = {Yakov Novikov},
title = {Local Search for Boolean Relations on the Basis of Unit Propagation},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10810--10815},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DATE.2003.1253706},
doi = {10.1109/DATE.2003.1253706},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/Novikov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LiSB03,
author = {Xiao Yu Li and
Matthias F. M. Stallmann and
Franc Brglez},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {A Local Search {SAT} Solver Using an Effective Switching Strategy
and an Efficient Unit Propagation},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {53--68},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_5},
doi = {10.1007/978-3-540-24605-3\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/LiSB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Berre01,
author = {Daniel Le Berre},
title = {Exploiting the real power of unit propagation lookahead},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {59--80},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00314-2},
doi = {10.1016/S1571-0653(04)00314-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Berre01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SuyamaYN99,
author = {Takayuki Suyama and
Makoto Yokoo and
Akira Nagoya},
editor = {Joxan Jaffar},
title = {Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation},
booktitle = {Principles and Practice of Constraint Programming - CP'99, 5th International
Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1713},
pages = {434--445},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48085-3\_31},
doi = {10.1007/978-3-540-48085-3\_31},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/SuyamaYN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SuyamaYN99,
author = {Takayuki Suyama and
Makoto Yokoo and
Akira Nagoya},
editor = {Jos{\'{e}} D. P. Rolim and
Frank Mueller and
Albert Y. Zomaya and
Fikret Er{\c{c}}al and
Stephan Olariu and
Binoy Ravindran and
Jan Gustafsson and
Hiroaki Takada and
Ronald A. Olsson and
Laxmikant V. Kal{\'{e}} and
Peter H. Beckman and
Matthew Haines and
Hossam A. ElGindy and
Denis Caromel and
Serge Chaumette and
Geoffrey C. Fox and
Yi Pan and
Keqin Li and
Tao Yang and
G. Ghiola and
Gianni Conte and
Luigi V. Mancini and
Dominique M{\'{e}}ry and
Beverly A. Sanders and
Devesh Bhatt and
Viktor K. Prasanna},
title = {Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation
Heuristic},
booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
in Conjunction with the 13th International Parallel Processing Symposium
and 10th Symposium on Parallel and Distributed Processing, San Juan,
Puerto Rico, USA, April 12-16, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1586},
pages = {709--711},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0097959},
doi = {10.1007/BFB0097959},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SuyamaYN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiA97,
author = {Chu Min Li and
Anbulagan},
title = {Heuristics Based on Unit Propagation for Satisfiability Problems},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {366--371},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/057.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/GotandaUK96,
author = {Hiromu Gotanda and
Yoshihiro Ueda and
Takeshi Kawasaki},
title = {Effects of the polarity of neural network units on back-propagation
learning},
journal = {Syst. Comput. Jpn.},
volume = {27},
number = {14},
pages = {55--67},
year = {1996},
url = {https://doi.org/10.1002/scj.4690271407},
doi = {10.1002/SCJ.4690271407},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/GotandaUK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/HiroseYH91,
author = {Yoshio Hirose and
Koichi Yamashita and
Shimpei Hijiya},
title = {Back-propagation algorithm which varies the number of hidden units},
journal = {Neural Networks},
volume = {4},
number = {1},
pages = {61--66},
year = {1991},
url = {https://doi.org/10.1016/0893-6080(91)90032-Z},
doi = {10.1016/0893-6080(91)90032-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/HiroseYH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnn/KungH88,
author = {Sun{-}Yuan Kung and
Jenq{-}Neng Hwang},
title = {An algebraic projection analysis for optimal hidden units size and
learning rates in back-propagation learning},
booktitle = {Proceedings of International Conference on Neural Networks (ICNN'88),
San Diego, CA, USA, July 24-27, 1988},
pages = {363--370},
publisher = {{IEEE}},
year = {1988},
url = {https://doi.org/10.1109/ICNN.1988.23868},
doi = {10.1109/ICNN.1988.23868},
timestamp = {Thu, 15 Aug 2019 17:22:48 +0200},
biburl = {https://dblp.org/rec/conf/icnn/KungH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Chauvin88,
author = {Yves Chauvin},
editor = {David S. Touretzky},
title = {A Back-Propagation Algorithm with Optimal Use of Hidden Units},
booktitle = {Advances in Neural Information Processing Systems 1, {[NIPS} Conference,
Denver, Colorado, USA, 1988]},
pages = {519--526},
publisher = {Morgan Kaufmann},
year = {1988},
url = {http://papers.nips.cc/paper/133-a-back-propagation-algorithm-with-optimal-use-of-hidden-units},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/Chauvin88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lehman62,
author = {M. M. Lehman},
title = {A Comparative Study of Propagation Speedup Circuits in Binary Arithmetic
Units},
booktitle = {Information Processing, Proceedings of the 2nd {IFIP} Congress 1962,
Munich, Germany, August 27 - September 1, 1962},
pages = {671--677},
publisher = {North-Holland},
year = {1962},
timestamp = {Fri, 26 Jul 2019 12:25:11 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lehman62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LehmanB61,
author = {Meier M. Lehman and
Naphtali Burla},
title = {Skip Techniques for High-Speed Carry-Propagation in Binary Arithmetic
Units},
journal = {{IRE} Trans. Electron. Comput.},
volume = {10},
number = {4},
pages = {691--698},
year = {1961},
url = {https://doi.org/10.1109/TEC.1961.5219274},
doi = {10.1109/TEC.1961.5219274},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LehmanB61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/Prache46,
author = {Pierre M. Prache},
title = {Th{\'{e}}orie {\'{e}}l{\'{e}}mentaire de la propagation
des ondes {\'{e}}lectromagn{\'{e}}tiques guid{\'{e}}es
application du syst{\`{e}}me d'unit{\'{e}}s {M.K.S}},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {1},
number = {7},
pages = {136--152},
year = {1946},
url = {https://doi.org/10.1007/BF03012051},
doi = {10.1007/BF03012051},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/Prache46.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-31 17:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
