|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1725 occurrences of 797 keywords
|
|
|
Results
Found 5713 publication records. Showing 5700 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Joel Friedman, Andreas Goerdt |
Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 310-321, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Viresh Paruthi, Andreas Kuehlmann |
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, ICCD '00, Austin, Texas, USA, September 17-20, 2000, pp. 459-464, 2000, IEEE Computer Society, 0-7695-0801-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Aarti Gupta, Zijiang Yang 0006, Pranav Ashar, Anubhav Gupta 0001 |
SAT-Based Image Computation with Application in Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 354-371, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Roberto Sebastiani, Adolfo Villafiorita |
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 377-388, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Zenon Sadowski |
On an Optimal Deterministic Algorithm for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 179-187, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Matti Järvisalo, Daniel Le Berre (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
36 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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., pp. 59-71, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
36 | Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis |
Prioritised Unit Propagation by Partitioning the Watch Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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., pp. 14-34, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
36 | Daniel Le Berre, Matti Järvisalo (eds.) |
Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
36 | Adrián Rebola-Pardo, Armin Biere |
Two flavors of DRAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 94-110, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Norbert Manthey, Tobias Philipp |
Checking Unsatisfiability Proofs in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 34-49, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Anastasia-Maria Leventi-Peetz, Oliver Zendel 0002, Werner Lennartz, Kai Weber 0003 |
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 79-93, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Jeremias Berg, Antti Hyttinen, Matti Järvisalo |
Applications of MaxSAT in Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 50-64, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Armin Biere, Andreas Fröhlich |
Evaluating CDCL Restart Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 1-17, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Armin Biere, Marijn Heule |
The Effect of Scrambling CNFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 111-126, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Le Berre (eds.) |
POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
36 | Daniel Le Berre (eds.) |
POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
36 | Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke |
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria, pp. 89-102, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith |
iDQ: Instantiation-Based DQBF Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria, pp. 103-116, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Enrique Matos Alfonso, Norbert Manthey |
New CNF Features and Formula Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria, pp. 57-71, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Zoltán Ádám Mann, Pál András Papp |
Formula partitioning revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria, pp. 41-56, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Adrian Balint, Norbert Manthey |
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland, pp. 1-14, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Adrian Kügel |
Improved Exact Solver for the Weighted MAX-SAT Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 15-27, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
On Solving MaxSAT Through SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 41-48, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Norbert Manthey, Ari Saptawijaya |
Towards Improving the Resource Usage of SAT-solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 28-40, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Mate Soos |
Enhanced Gaussian Elimination in DPLL-based SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 2-14, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Martin Gogolla |
Towards Model Validation and Verification with SAT Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms and Applications for Next Generation SAT Solvers ![In: Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
36 | Bernd Becker 0001, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita |
09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms and Applications for Next Generation SAT Solvers ![In: Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
36 | Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler |
SWORD - Module-based SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms and Applications for Next Generation SAT Solvers ![In: Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
34 | Robert 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](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(6), pp. 937-977, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SAT solvers, Satisfiability Modulo Theories |
33 | Andreas Eggers, Martin Fränzle, Christian Herde |
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 171-185, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Tianyan Deng, Daoyun Xu |
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, pp. 79-88, 2008, Springer, 978-3-540-69310-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction |
33 | Robert Nieuwenhuis, Albert Oliveras |
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 23-46, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Mona Safar, M. Watheq El-Kharashi, Ashraf Salem |
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 384-387, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Jordi Planes |
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 991, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström |
Counting Satisfying Assignments in 2-SAT and 3-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings, pp. 535-543, 2002, Springer, 3-540-43996-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Anthony Monnet, Roger Villemaire |
Scalable formula decomposition for propositional satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings, pp. 43-52, 2010, ACM, 978-1-60558-901-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
scalability, SAT, tree decomposition, propositional satisfiability, DPLL |
33 | Weixin Wu, Michael S. Hsiao |
Mining global constraints for improving bounded sequential equivalence checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 743-748, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-node constraint, SAT, mining |
33 | Richard Edwin Stearns |
Deterministic versus nondeterministic time and lower bound problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(1), pp. 91-95, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms |
33 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
FORCE: a fast and easy-to-implement variable-ordering heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003, pp. 116-119, 2003, ACM, 1-58113-677-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order |
33 | Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah |
Satometer: how much have we searched? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 737-742, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs |
33 | Marijn Heule, Hans van Maaren |
From Idempotent Generalized Boolean Assignments to Multi-bit Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 134-147, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Encodings of Problems in Effectively Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 3, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Solving Multi-objective Pseudo-Boolean Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 56-69, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Knot Pipatsrisawat, Adnan Darwiche |
A Lightweight Component Caching Scheme for Satisfiability Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 294-299, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman |
Short XORs for Model Counting: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 100-106, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Eugene Goldberg |
Determinization of Resolution by an Algorithm Operating on Complete Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 90-95, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Oliver Kullmann, Inês Lynce, João Marques-Silva 0001 |
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 22-35, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Steven D. Prestwich, Inês Lynce |
Local Search for Unsatisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 283-296, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Andrei A. Bulatov, Evgeny S. Skvortsov |
Efficiency of Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 297-310, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Panagiotis Manolios, Yimin Zhang |
Implementing Survey Propagation on Graphics Processing Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 311-324, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Vasco M. Manquinho, João Marques-Silva 0001 |
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 451-458, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Sakari Seitz, Mikko Alava, Pekka Orponen |
Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 475-481, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Uwe Bubeck, Hans Kleine Büning, Xishun Zhao |
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 386-392, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Anton Belov, Zbigniew Stachniak |
Substitutional Definition of Satisfiability in Classical Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 31-45, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Mark H. Liffiton, Karem A. Sakallah |
On Finding All Minimally Unsatisfiable Subformulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 173-186, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Tian Sang, Paul Beame, Henry A. Kautz |
Heuristics for Fast Exact Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 226-240, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Steven D. Prestwich |
Random Walk with Continuously Smoothed Variable Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 203-215, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Gilles Audemard, Lakhdar Sais |
A Symbolic Search Based Approach for Quantified Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 16-30, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability, Binary decision diagram, Quantified boolean formula |
33 | Stefan Porschen, Bert Randerath, Ewald Speckenmeyer |
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 172-187, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
Satisfiability and Computing van der Waerden Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 1-13, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
Watched Data Structures for QBF Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 25-36, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Maher N. Mneimneh, Karem A. Sakallah |
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 411-425, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Ashish Sabharwal, Paul Beame, Henry A. Kautz |
Using Problem Structure for Efficient Clause Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 242-256, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Marc Herbstritt, Bernd Becker 0001 |
Conflict-Based Selection of Branching Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 441-451, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
Propagation via lazy clause generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(3), pp. 357-391, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Finite domain propagation, Boolean variables, SAT solver |
32 | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes |
BenCGen: a digital circuit generation tool for benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2008, Gramado, Brazil, September 1-4, 2008, pp. 164-169, 2008, ACM, 978-1-60558-231-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
benchmarks, sat solvers, combinational equivalence checking |
32 | André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler |
Using unsatisfiable cores to debug multiple design errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 77-82, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sat-based debugging, unsatisfiable core, fault localization |
32 | Aristotelis Giannakos, Laurent Gourvès, Jérôme Monnot, Vangelis Th. Paschos |
On the Performance of Congestion Games for Optimum Satisfiability Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 220-231, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
non oblivious local search, max sat, approximation algorithm, price of anarchy |
32 | Andreas Bauer 0002 |
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings, pp. 49-63, 2005, Springer, 3-540-26152-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving |
32 | Guillermo De Ita Luna |
Polynomial Classes of Boolean Formulas for Computing the Degree of Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 430-440, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
#SAT Problem, Updating Beliefs, Approximate Reasoning, Degree of Belief |
32 | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |
Exploiting structure in symmetry detection for CNF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 530-534, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
abstract algebra, partition refinement, symmetry, backtrack search, graph automorphism, boolean satisfiability (SAT) |
32 | Michael Parker, Sat Gupta, Sadia Khalil |
A Mixture Quantitative Randomized Response Model That Improves Trust in RRT Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(1), pp. 11, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
32 | Javid Shabbir, Zahida Iqbal, Sat Gupta |
On distribution function under two-phase stratified sampling using two auxiliary variables for mean estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 52(8), pp. 3758-3770, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Maxwell Lovig, Sadia Khalil, Sumaita Rahman, Pujita Sapra, Sat Gupta |
A mixture binary RRT model with a unified measure of privacy and efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 52(6), pp. 2727-2737, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Mustafa Sat, Fatih Ilhan, Erman Yükseltürk |
Comparison and evaluation of augmented reality technologies for designing interactive materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 28(9), pp. 11545-11567, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Aamir Sanaullah, Iram Saleem, Sat Gupta, Muhammad Hanif 0006 |
Mean estimation with generalized scrambling using two-phase sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 51(10), pp. 5643-5657, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Dongbock Kim, Sat Byul Seo, NamHyun Yoo, Gisu Shin |
A Study on Sample Size Sensitivity of Factory Manufacturing Dataset for CNN-Based Defective Product Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(8), pp. 142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Mustafa Sat, Kursat Cagiltay |
The design of educational wearable technologies with teachers: Issues, challenges, and suggestions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: International Conference on Advanced Learning Technologies, ICALT 2022, Bucharest, Romania, July 1-4, 2022, pp. 201-205, 2022, IEEE, 978-1-6654-9519-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Deepti B. Upadhyaya, Jonathan Evans, Muddu Sekhar, Sat Kumar Tomer, Ahmad Al Bitar, Subash Yeggina, Thiyaku S, Ross Morrison, Matthew Fry, Sachchida Nand Tripathi, Milind Mujumdar, Mangesh Goswami, Naresh Ganeshi, Manish K. Nema, Sharad K. Jain, S. S. Angadi, B. S. Yenagi |
The Indian COSMOS Network (ICON): Validating L-Band Remote Sensing and Modelled Soil Moisture Data Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(3), pp. 537, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Sadia Khalil, Qi Zhang, Sat Gupta |
Mean estimation of sensitive variables under measurement errors using optional RRT models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 50(5), pp. 1417-1426, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Hina Khan, Sat Gupta, Habiba Farhat |
A ratio-cum-regression estimator of population mean in unequal probability sampling design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 49(2), pp. 484-490, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | K. Hari Kishore 0001, Prakash Sat, B. Kasi Raju, Venkataramani B |
Highly linear inductorless asymmetric capacitive cross-coupled wideband balun-LNAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 83, pp. 106614, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Mehrez Zribi, Muddu Sekhar, Safa Bousbih, Ahmad Al Bitar, Sat Kumar Tomer, Nicolas N. Baghdadi, Soumya Bandyopadhyay |
Analysis of L-Band SAR Data for Soil Moisture Estimations over Agricultural Areas in the Tropics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 11(9), pp. 1122, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Nick N. Maizlin, Nina P. Singh, Sat Somers |
Utilizing a Digital Multi-Language Patient Questionnaire for Diagnostic Imaging Examinations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 32(6), pp. 1097-1102, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Mehrez Zribi, Muddu Sekhar, Soumya Bandyopadhyay, Safa Bousbih, Ahmad Al Bitar, Sat Kumar Tomer, Nicolas N. Baghdadi |
Analysis of L Band Radar Data Over Tropical Agricultural Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2019 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2019, Yokohama, Japan, July 28 - August 2, 2019, pp. 6215-6218, 2019, IEEE, 978-1-5386-9154-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Zaheen Khan, Javid Shabbir, Sat Gupta |
Circular versions of systematic sampling in the presence of linear trend. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 47(7), pp. 1899-1921, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Laurent Orgogozo, Nicolas Renon, Cyprien Soulaine, Florent Hénon, Sat Kumar Tomer, David Labat, Oleg S. Pokrovsky, Muddu Sekhar, Rachid Ababou, Michel Quintard |
An open source massively parallel solver for Richards equation: Mechanistic modelling of water fluxes at the watershed scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.10895, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
32 | Javid Shabbir, Sat Gupta |
Estimation of finite population mean using two auxiliary variables in stratified two-phase sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(2), pp. 1238-1256, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Geeta Kalucha, Javid Shabbir |
A regression estimator for finite population mean of a sensitive variable using an optional randomized response model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(3), pp. 2393-2405, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Yunus Alkis, Zafer Kadirhan, Mustafa Sat |
Development and Validation of Social Anxiety Scale for Social Media Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 72, pp. 296-303, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Sat Kumar Tomer, Ahmad Al Bitar, Muddu Sekhar, Mehrez Zribi, Soumya Bandyopadhyay, Yann Kerr |
MAPSM: A Spatio-Temporal Algorithm for Merging Soil Moisture from Active and Passive Microwave Remote Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 8(12), pp. 990, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Javid Shabbir, Rita Sousa, Pedro Corte-Real |
Improved Exponential Type Estimators of the Mean of a Sensitive Variable in the Presence of Nonsensitive Auxiliary Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 45(9), pp. 3317-3328, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Christine Tanner, Y. Zur, Karen French, Golnoosh Samei, Jan Strehlow, G. Sat, Helen McLeod, Graeme Houston, Sebastian Kozerke, Gábor Székely, Andreas Melzer, Tobias Preußer |
In vivo validation of spatio-temporal liver motion prediction from motion tracked on MR thermometry images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 11(6), pp. 1143-1152, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Ali Moin, George Alexandrov, Benjamin C. Johnson, Igor I. Izyumin, Fred L. Burghardt, Kedar Shah, Sat Pannu, Elad Alon, Rikky Muller, Jan M. Rabaey |
Powering and communication for OMNI: A distributed and modular closed-loop neuromodulation device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 4471-4474, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Sat Kumar Tomer, Ahmad Al Bitar, Muddu Sekhar, Mehrez Zribi, Soumya Bandyopadhyay, K. Sreelash, Amit Kumar Sharma 0001, Samuel Corgne, Yann Kerr |
Retrieval and Multi-scale Validation of Soil Moisture from Multi-temporal SAR Data in a Semi-Arid Tropical Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 7(6), pp. 8128-8153, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Niko E. C. Verhoest, Martinus Johannes van den Berg, Brecht Martens, Hans Lievens, Eric F. Wood, Ming Pan, Yann H. Kerr, Ahmad Al Bitar, Sat Kumar Tomer, Matthias Drusch, Hilde Vernieuwe, Bernard De Baets, Jeffrey P. Walker, Gift Dumedah, Valentijn R. N. Pauwels |
Copula-Based Downscaling of Coarse-Scale Soil Moisture Observations With Implicit Bias Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 53(6), pp. 3507-3521, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Manohar Aggarwal |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 44(9), pp. 2209, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Jeong Sep Sihm, Sat Gupta |
A Two-stage Binary Optional Randomized Response Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 44(9), pp. 2278-2296, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Zaheen Khan, Javid Shabbir, Sat Gupta |
Generalized Systematic Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 44(9), pp. 2240-2250, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
|
|