The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for DPLL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1998 (16) 1999-2001 (16) 2002-2003 (21) 2004 (29) 2005 (21) 2006 (31) 2007 (29) 2008 (19) 2009 (25) 2010-2011 (20) 2012-2013 (18) 2014-2016 (19) 2017-2018 (15) 2019-2021 (18) 2022-2023 (19) 2024 (1)
Publication types (Num. hits)
article(84) incollection(1) inproceedings(229) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 94 occurrences of 58 keywords

Results
Found 317 publication records. Showing 317 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
137Matti Järvisalo, Tommi A. Junttila Limitations of restricted branching in clause learning. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Branching heuristics, Clause learning, Backdoor sets, Proof complexity, Propositional satisfiability, DPLL, Problem structure
134Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SAT solvers, Satisfiability Modulo Theories
130Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Abstract DPLL and Abstract DPLL Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
101Matti Järvisalo, Tommi A. Junttila Limitations of Restricted Branching in Clause Learning. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
84Roberto Sebastiani From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
84Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli DPLL( T): Fast Decision Procedures. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
82Himanshu Jain, Edmund M. Clarke Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF NNF, verification, Boolean satisfiability, DPLL
82Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF DPLL algorithms, satisfiability
74Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Unrestricted vs restricted cut in a tableau method for Boolean circuits. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cut rule, satisfiability, proof complexity, Boolean circuits, DPLL
71Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv Generalizing DPLL to Richer Logics. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
71Paolo Liberatore Complexity results on DPLL and resolution. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Davis-Putnam, NP-completeness, propositional satisfiability
63Carsten Sinz, Edda-Maria Dieringer DPvis - A Tool to Visualize the Structure of SAT Instances. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Robert Nieuwenhuis, Albert Oliveras DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Cesare Tinelli A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Stéphane Lescuyer, Sylvain Conchon Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
51Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Splitting on Demand in SAT Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr. A Fast SAT Solver Strategy Based on Negated Clauses. Search on Bibsonomy VLSI-SoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Gilles Audemard, Lakhdar Sais A Symbolic Search Based Approach for Quantified Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability, Binary decision diagram, Quantified boolean formula
48Anthony Monnet, Roger Villemaire Scalable formula decomposition for propositional satisfiability. Search on Bibsonomy C3S2E The full citation details ... 2010 DBLP  DOI  BibTeX  RDF scalability, SAT, tree decomposition, propositional satisfiability, DPLL
48Simona Cocco, Rémi Monasson Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF satisfiability, large deviations, restart, DPLL
48Olga Tveretina A Decision Procedure for Equality Logic with Uninterpreted Functions. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equality logic with uninterpreted functions, DPLL procedure, satisfiability
48Mohammad Ghasemzadeh 0001, Volker Klotz, Christoph Meinel Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Zero-Suppressed Binary Decision Diagram (ZDD), Quantified Boolean Formula (QBF), QSAT, Satisfiability, DPLL
46Adrian Balint, Michael Henn, Oliver Gableske A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Leonardo Mendonça de Moura, Nikolaj S. Bjørner Engineering DPLL(T) + Saturation. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Bruno Dutertre, Leonardo Mendonça de Moura A Fast Linear-Arithmetic Solver for DPLL(T). Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Cameron Brien, Sharad Malik Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Allen Van Gelder Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Rémi Monasson A Generating Function Method for the Average-Case Analysis of DPLL. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Anbulagan Extending Unit Propagation Look-Ahead of DPLL Procedure. Search on Bibsonomy PRICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Jinbo Huang, Adnan Darwiche Using DPLL for Efficient OBDD Construction. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind Memoization and DPLL: Formula Caching Proof Systems. Search on Bibsonomy CCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Carsten Sinz Visualizing SAT Instances and Runs of the DPLL Algorithm. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SAT instance, DPLL procedure
38Moshe Y. Vardi Symbolic Techniques in Propositional Satisfiability Solving. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Lei Fang 0002, Michael S. Hsiao A new hybrid solution to boost SAT solver performance. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli Lemma Learning in the Model Evolution Calculus. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Fahiem Bacchus CSPs: Adding Structure to SAT. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Daijue Tang, Sharad Malik Solving Quantified Boolean Formulas with Circuit Observability Don't Cares. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Robert Nieuwenhuis, Albert Oliveras Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Peter Baumgartner 0001, Cesare Tinelli The Model Evolution Calculus. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez A Hybrid Approach for SAT. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Lintao Zhang, Sharad Malik Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Peter Baumgartner 0001 FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38T. M. Almaida, Moisés Simões Piedade High performance analog and digital PLL design. Search on Bibsonomy ISCAS (4) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Filip Maric Formalization and Implementation of Modern SAT Solvers. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Algorithms, Data structures, Software verification, DPLL, SAT solving
36Ming-e Jing, Dian Zhou, Pushan Tang, Xiaofang Zhou, Hua Zhang 0019 Solving SAT problem by heuristic polarity decision-making algorithm. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF complete algorithm, decision-making, DPLL, SAT problem
33Carsten Sinz, Markus Iser Problem-Sensitive Restart Heuristics for the DPLL Procedure. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Eric I. Hsu, Sheila A. McIlraith VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Survey Propagation/EMBP, Variable/Value Ordering Heuristics, Probabilistic Inference
33Leonardo Mendonça de Moura, Nikolaj S. Bjørner Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Dan Goldwasser, Ofer Strichman, Shai Fine A Theory-Based Decision Heuristic for DPLL(T). Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Raihan H. Kibria Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers. Search on Bibsonomy IJCNN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Scott Cotton, Oded Maler Fast and Flexible Difference Constraint Propagation for DPLL(T). Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Raihan H. Kibria, You Li Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. Search on Bibsonomy EuroGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Dimitris Achlioptas, Paul Beame, Michael Molloy 0001 Exponential bounds for DPLL below the satisfiability threshold. Search on Bibsonomy SODA The full citation details ... 2004 DBLP  BibTeX  RDF
33Markus Wedler, Dominik Stoffel, Wolfgang Kunz Arithmetic Reasoning in DPLL-Based SAT Solving. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Morten Irgens, William S. Havens On Selection Strategies for the DPLL Algorithm. Search on Bibsonomy Canadian AI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Jader A. De Lima, Peterson R. Agostinho A low-voltage low sensitivity sinusoidal VCO for DPLL realizations. Search on Bibsonomy ISCAS (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Christian Thiffault, Fahiem Bacchus, Toby Walsh Solving Non-clausal Formulas with DPLL Search. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Anna Vasylenko, Orla Feely Nonlinear dynamics of first-order DPLL with frequency-modulated input. Search on Bibsonomy ISCAS (3) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Ilias Panayiotopoulos, Phillip Constantinou Performance Improvement of Nonuniform Polarity-DPLL Symbol Synchronizers by Using Novel Adaptive Statistical Loop Filtering Technique. Search on Bibsonomy ISCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Dhadesugoor R. Vaman, Ashwin Ashok An Efficient Distributed Synchronization Method for TD/CDMA based Mobile Ad Hoc Networks. Search on Bibsonomy PerCom Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Jingchao Chen Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Conflict-driven, XOR reasoning, Hybrid solving technique, search pruning technique, Look-ahead, Boolean satisfiability (SAT)
25Christopher Lynch, Duc-Khanh Tran SMELS: Satisfiability Modulo Equality with Lazy Superposition. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Yong Gao 0001 Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Amit Stark, Dan Raphaeli Combining Decision-Feedback Equalization and Carrier Recovery for Two-Dimensional Signal Constellations. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Jose Marcelo Lima Duarte, Francisco das Chagas Mota, Manoel J. M. Carvalho Digital PM demodulator for brazilian data collecting system. Search on Bibsonomy SBCCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF BDCS, control system theory, FPGA, PLL, phase locked loop
25Martin Davis SAT: Past and Future. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Michael Codish Proving Termination with (Boolean) Satisfaction. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Mahmoud Fawzy Wagdy, Srishti Vaishnava A Fast-Locking Digital Phase-Locked Loop. Search on Bibsonomy ITNG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Horst Samulowitz, Fahiem Bacchus Binary Clause Reasoning in QBF. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke Satisfiability Checking of Non-clausal Formulas Using General Matings. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Peter Baumgartner 0001, Cesare Tinelli The Model Evolution Calculus with Equality. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Kameshwar Chandrasekar, Michael S. Hsiao Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs. Search on Bibsonomy VLSI Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Sathiamoorthy Subbarayan, Dhiraj K. Pradhan NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Haixia Jia, Cristopher Moore How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Lintao Zhang, Sharad Malik The Quest for Efficient Boolean Satisfiability Solvers. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Lintao Zhang, Sharad Malik The Quest for Efficient Boolean Satisfiability Solvers. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Alexey Teplinsky, Orla Feely Phase-jitter dynamics in second-order DPLLs with irrational and integer input frequencies. Search on Bibsonomy ISCAS (5) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Benyong Zhang, Philip E. Allen Feed-forward compensated high switching speed digital phase-locked loop frequency synthesizer. Search on Bibsonomy ISCAS (4) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Sandeep Kumar Singla, Pradeep Kumar Jaswal Hybrid Satisfiability Techniques. Search on Bibsonomy ITNG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF HybridSAT, Satisfiability, SAT, Boolean Satisfiability, DPLL
23Mahmoud Fawzy Wagdy, Brandon Casey Cabrales A Novel Flash Fast-Locking Digital Phase-Locked Loop. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lock time, coarse-tuning, fine-tuning, CMOS, DPLL
23Chang-hong Shan, Zhong-ze Chen, Jin-xiong Jiang An All Digital Phase-Locked Loop System with High Performance on Wideband Frequency Tracking. Search on Bibsonomy HIS (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF All Digital Phase-Locked Loop (all DPLL), Wideband Frequency Tracking, FPGA, Filter, VHDL
23Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr. A fast SAT solver algorithm best suited to reconfigurable hardware. Search on Bibsonomy SBCCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal verification, SAT, CNF, DPLL
23Xiaolue Lai, Jaijeet S. Roychowdhury A multilevel technique for robust and efficient extraction of phase macromodels of digitally controlled oscillators. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DCO, PPV, simulation, PLL, macromodel, VCO, DPLL
21Lili Chen, Morteza Tavakoli Taba, Zainulabideen J. Khalifa, Andreia Cathelin, Ehsan Afshari A Fast Back-to-Lock DPLL-Based 192-210-GHz Chirp Generator With +5.9-dBm Peak Output Power for Sub-THz Imaging and Sensing. Search on Bibsonomy IEEE J. Solid State Circuits The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Zhi-Heng Kang, Shen-Iuan Liu A 1.6-GHz DPLL Using Feedforward Phase-Error Cancellation. Search on Bibsonomy IEEE J. Solid State Circuits The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Abdul Muqueem, Shanky Saxena, Govind Singh Patel An Ultra-Low-Power C-Band FMCW Transmitter Using a Fast Settling Fractional-N DPLL and Ring-Based Pulse Injection Locking Oscillator. Search on Bibsonomy J. Circuits Syst. Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Zirui Jin, Xiaoyu Shan, Ang Hu, Dongsheng Liu, Xuan Cheng, Jinsong Cui, Chengcheng Zhang, Jianming Lei A DTC-based Fractional-N DPLL using probability-density-shaping spur immunity and Q-noise reduction techniques for IoT applications. Search on Bibsonomy Microelectron. J. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Marco Favorito Forward LTLf Synthesis: DPLL At Work. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Dusan Guller A DPLL Procedure with Dichotomous Branching for Propositional Product Logic. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer A DPLL(T) Framework for Verifying Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Ping Lu, Bupesh Pandita, Minhan Chen Reference Clock Jitter Immunity by Accurate DPLL Bandwidth Control in a Multiple-link Die-to-Die Interface. Search on Bibsonomy MWSCAS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang 0004, Jiwu Shu Poster: P4-DPLL: Accelerating SAT Solving Using Switching ASICs. Search on Bibsonomy SIGCOMM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Waleed Madany, Yuncheng Zhang, Ashbir Aviat Fadila, Hongye Huang, Junjun Qiu, Atsushi Shirane, Kenichi Okada A Fully Synthesizable DPLL with Background Gain Mismatch Calibrated Feedforward Phase Noise Cancellation Path. Search on Bibsonomy ESSCIRC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Haoyang Shen, Hao Zheng, Daniel O'Hare, Deepu John, Barry Cardiff Correcting ADC jitter using DPLL timing error signal. Search on Bibsonomy NEWCAS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Woosong Jung, Hyojun Kim, Yeonggeun Song, Kwang-Hoon Lee, Deog-Kyoon Jeong A 0.991JS FFT-Based Fast-Locking, 0.82GHz-to-4.lGHz DPLL-Based lnput-Jitter-Filtering Clock Driver with Wide-Range Mode-Switching 8-Shaped LC Oscillator for DRAM Interfaces. Search on Bibsonomy CICC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Marco Favorito Forward LTLf Synthesis: DPLL At Work. Search on Bibsonomy OVERLAY@AI*IA The full citation details ... 2023 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 317 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license