Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
1,620 authors found
quering by "Random Satisfiability"
.
Showing
the first 25
sort by ONE Index.
|
933
One Index
|
Leyton-Brown, Kevin PhD 0000-0002-7644-5327 |
273 docs (1999 - 2024)
Auction Theory , Coordination Games , Bid Rotation , Solver , Game Theory |
|
931
One Index
|
Flaxman, Abraham PhD 0000-0001-6033-4713 |
207 docs (2003 - 2024)
Verbal autopsy , Gold standard (test) , Autopsy Validation , Virtual Autopsy , Concordance |
|
926
One Index
|
Zdeborova, Lenka PhD 0000-0002-8377-3978 |
288 docs (2005 - 2024)
Compressed Sensing , Sparse Approximation , Backpropagation Learning , Matrix (chemical analysis) , Sparsity in Signal Processing |
|
919
One Index
|
Ganesh, Vijay PhD 0000-0002-6029-2047 |
365 docs (1997 - 2024)
Solver , Satisfiability , Boolean satisfiability problem , Constraint Optimization , Enumeration |
|
916
One Index
|
ZECCHINA, Riccardo PhD 0000-0002-1221-5207 |
243 docs (1992 - 2024)
Backpropagation Learning , Maxima and minima , Statistical mechanics , Satisfiability , Constraint Optimization |
|
909
One Index
|
Sudan, Madhu PhD 0000-0003-3718-6489 |
494 docs (1982 - 2024)
Approximation Algorithms , Linear Programming , Decoding Algorithms , Degree (music) , Error-Correcting Codes |
|
898
One Index
|
Walsh, Toby PhD 0000-0003-2998-8668 |
649 docs (1967 - 2024)
Constraint Optimization , Soft Constraints , Temporal Reasoning , Voting Procedures , Fair division |
|
896
One Index
|
Aloul, Fadi PhD 0000-0001-5129-7789 |
151 docs (2000 - 2024)
Boolean satisfiability problem , Satisfiability , Satisfiability Modulo Theories , Maximum satisfiability problem , Intrusion Detection |
|
895
One Index
|
Marques-Silva, Joao PhD 0000-0002-6632-3086 |
387 docs (1994 - 2024)
Satisfiability , Boolean satisfiability problem , Maximum satisfiability problem , Satisfiability Modulo Theories , Constraint Optimization |
|
892
One Index
|
Recio‐Garcia, J.A. PhD |
243 docs (1988 - 2023)
Satisfiability , Constraint Optimization , Boolean satisfiability problem , Temporal Reasoning , Probabilistic Learning |
|
890
One Index
|
Ben-Sasson, Eli PhD 0000-0002-0708-0483 |
205 docs (1999 - 2024)
Gas meter prover , Proof complexity , Zero-Knowledge Proofs , Zero-knowledge proof , Linear Programming |
|
889
One Index
|
Montanari, Andrea PhD 0000-0002-0267-8574 |
555 docs (1970 - 2024)
Sparse Approximation , Compressed Sensing , Sparsity in Signal Processing , Matrix (chemical analysis) , Sparse Representations |
|
886
One Index
|
Limaye, Nimisha PhD 0000-0002-1504-2575 |
27 docs (2019 - 2023)
Logic Encryption , FPGA Security , Scan-Based Side-Channel Attacks , Hardware security module , IC Reverse Engineering |
|
885
One Index
|
Achlioptas, Dimitris PhD 0000-0003-2349-822X |
147 docs (1996 - 2024)
Random Satisfiability , Satisfiability , Soft Constraints , Constraint Optimization , Lemma (botany) |
|
882
One Index
|
Hoos, Holger H. PhD 0000-0003-0629-0099 |
372 docs (1994 - 2024)
Solver , Constraint Optimization , Algorithm Selection , Benchmark (surveying) , Random Satisfiability |
|
877
One Index
|
Heule, Marijn PhD 0000-0002-5587-8801 |
204 docs (2005 - 2024)
Satisfiability , Boolean satisfiability problem , Solver , Satisfiability Modulo Theories , Conjunctive normal form |
|
876
One Index
|
Flajolet, Philippe PhD |
246 docs (1930 - 2021)
Combinatorics , Tree (set theory) , Approximate Matching , Enumeration , Combinatorics on Words |
|
876
One Index
|
Håstad, Johan PhD 0000-0002-5379-345X |
192 docs (1985 - 2024)
Approximation Algorithms , Constraint Satisfaction Problems , Linear Programming , Predicate (mathematical logic) , Combinatorial Optimization |
|
875
One Index
|
Zhang, Weixiong PhD 0000-0002-4998-9791 |
325 docs (1989 - 2024)
Constraint Optimization , MicroRNAs , Identification (biology) , Community Structure , Soft Constraints |
|
875
One Index
|
Kim, Chris PhD 0000-0002-4194-1347 |
218 docs (2002 - 2024)
CMOS Scaling , Ring oscillator , Dram , NBTI Degradation , Leakage (economics) |
|
873
One Index
|
Beame, Paul PhD 0000-0002-2666-3545 |
185 docs (1986 - 2024)
Communication Complexity , Model Checking , Approximation Algorithms , Linear Programming , Pigeonhole principle |
|
873
One Index
|
Brandl, Florian PhD 0000-0002-3931-3931 |
72 docs (2011 - 2024)
Impossibility , Matching Theory , Spin wave , Judgment Aggregation , Decision-making |
|
872
One Index
|
Coja‐Oghlan, Amin PhD |
206 docs (2002 - 2024)
Graph Limits , Random Regular Graphs , Random Satisfiability , Erdos-Rényi Random Graphs , Parameterized Complexity |
|
872
One Index
|
Rodriguez, Abel PhD 0000-0001-5503-7394 |
845 docs (1993 - 2024)
Mixed-Effects Models , Replication (statistics) , Nonparametric Bayesian , Hidden Markov Models , Variational Inference |
|
870
One Index
|
Razborov, Alexander PhD |
184 docs (1985 - 2023)
Graph Limits , Proof complexity , Approximation Algorithms , Pigeonhole principle , Constraint Satisfaction Problems |
