rebuilding site Fri Apr 12 20:11:23 EDT 2024

Author: uddaloksarkar

author/arijit-shaw/index.html

@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/arijit-shaw/">
   <meta property="og:title" content="Arijit Shaw | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/arijit-shaw/avatar_hu7f23ceef7047d68b83a47b7e57a164ca_32326_270x270_fill_q90_lanczos_center.jpg">
-  <meta property="twitter:image" content="https://meelgroup.github.io/author/arijit-shaw/avatar_hu7f23ceef7047d68b83a47b7e57a164ca_32326_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
+  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png">
+  <meta property="twitter:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png"><meta property="og:locale" content="en-us">
 
     <meta property="og:updated_time" content="2024-02-21T00:00:00&#43;00:00">
 
@@ -641,73 +641,37 @@ <h1>Search</h1>
 
 
 
+<div class="universal-wrapper pt-3">
+  <h1>Arijit Shaw</h1>
+</div>
+
 
 <section id="profile-page" class="pt-5">
   <div class="container">
 
 
-      
-      
-      
-      
-
-
-
-
-  
-
-
-
 
-
-
-
-
-
-
-<div class="row">
-  <div class="col-12 col-lg-4">
-    <div id="profile">
-
-      
-      
-      <img class="avatar avatar-circle" src="/author/arijit-shaw/avatar_hu7f23ceef7047d68b83a47b7e57a164ca_32326_270x270_fill_q90_lanczos_center.jpg" alt="Arijit Shaw">
-      
-
-      <div class="portrait-title">
-        <h2>Arijit Shaw</h2>
+    
+    
+    
+    <div class="article-widget content-widget-hr">
+      <h3>Latest</h3>
+      <ul>
 
-
+        <li>
+          <a href="/publication/aaai24_skolemfc/">An Approximate Skolem Function Counter</a>
+        </li>
 
-      </div>
-
-      <ul class="network-icon" aria-hidden="true">
+        <li>
+          <a href="/publication/sat23/">Explaining SAT Solving Using Causal Reasoning</a>
+        </li>
+        
+        <li>
+          <a href="/publication/sat20sm/">Designing New Phase Selection Heuristics</a>
+        </li>
 
       </ul>
-
-    </div>
-  </div>
-  <div class="col-12 col-lg-8">
-
-    
-    
-
-    
-
-    <div class="row">
-
-      
-
-      
-
     </div>
-  </div>
-</div>
-
-    
-
-    
-    
 
   </div>
 </section>

author/arijit-shaw/index.xml

@@ -7,10 +7,34 @@
     <description>Arijit Shaw</description>
     <generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><copyright>© 2019--2024</copyright><lastBuildDate>Wed, 21 Feb 2024 00:00:00 +0000</lastBuildDate>
     <image>
-      <url>https://meelgroup.github.io/author/arijit-shaw/avatar_hu7f23ceef7047d68b83a47b7e57a164ca_32326_270x270_fill_q90_lanczos_center.jpg</url>
+      <url>https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png</url>
       <title>Arijit Shaw</title>
       <link>https://meelgroup.github.io/author/arijit-shaw/</link>
     </image>
 
+    <item>
+      <title>An Approximate Skolem Function Counter</title>
+      <link>https://meelgroup.github.io/publication/aaai24_skolemfc/</link>
+      <pubDate>Wed, 21 Feb 2024 00:00:00 +0000</pubDate>
+      <guid>https://meelgroup.github.io/publication/aaai24_skolemfc/</guid>
+      <description></description>
+    </item>
+    
+    <item>
+      <title>Explaining SAT Solving Using Causal Reasoning</title>
+      <link>https://meelgroup.github.io/publication/sat23/</link>
+      <pubDate>Tue, 27 Jun 2023 00:00:00 +0000</pubDate>
+      <guid>https://meelgroup.github.io/publication/sat23/</guid>
+      <description></description>
+    </item>
+    
+    <item>
+      <title>Designing New Phase Selection Heuristics</title>
+      <link>https://meelgroup.github.io/publication/sat20sm/</link>
+      <pubDate>Tue, 19 May 2020 00:00:00 +0000</pubDate>
+      <guid>https://meelgroup.github.io/publication/sat20sm/</guid>
+      <description></description>
+    </item>
+    
   </channel>
 </rss>

author/gunjan-kumar/index.html

@@ -240,8 +240,8 @@
   <meta property="og:site_name" content="MeelGroup">
   <meta property="og:url" content="https://meelgroup.github.io/author/gunjan-kumar/">
   <meta property="og:title" content="Gunjan Kumar | MeelGroup">
-  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg">
-  <meta property="twitter:image" content="https://meelgroup.github.io/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg"><meta property="og:locale" content="en-us">
+  <meta property="og:description" content="Department of Computer Science, University of Toronto"><meta property="og:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png">
+  <meta property="twitter:image" content="https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png"><meta property="og:locale" content="en-us">
 
     <meta property="og:updated_time" content="2024-01-20T00:00:00&#43;00:00">
 
@@ -641,73 +641,37 @@ <h1>Search</h1>
 
 
 
+<div class="universal-wrapper pt-3">
+  <h1>Gunjan Kumar</h1>
+</div>
+
 
 <section id="profile-page" class="pt-5">
   <div class="container">
 
 
-      
-      
-      
-      
-
-
-
-
-  
-
-
-
 
-
-
-
-
-
-
-<div class="row">
-  <div class="col-12 col-lg-4">
-    <div id="profile">
-
-      
-      
-      <img class="avatar avatar-circle" src="/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg" alt="Gunjan Kumar">
-      
-
-      <div class="portrait-title">
-        <h2>Gunjan Kumar</h2>
+    
+    
+    
+    <div class="article-widget content-widget-hr">
+      <h3>Latest</h3>
+      <ul>
 
-
+        <li>
+          <a href="/publication/aistats24/">Equivalence Testing: The Power of Bounded Adaptivity</a>
+        </li>
 
-      </div>
-
-      <ul class="network-icon" aria-hidden="true">
+        <li>
+          <a href="/publication/icalp23/">Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?</a>
+        </li>
+        
+        <li>
+          <a href="/publication/mfcs23/">Support Size Estimation: The Power of Conditioning</a>
+        </li>
 
       </ul>
-
-    </div>
-  </div>
-  <div class="col-12 col-lg-8">
-
-    
-    
-
-    
-
-    <div class="row">
-
-      
-
-      
-
     </div>
-  </div>
-</div>
-
-    
-
-    
-    
 
   </div>
 </section>

author/gunjan-kumar/index.xml

@@ -7,34 +7,10 @@
     <description>Gunjan Kumar</description>
     <generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><copyright>© 2019--2024</copyright><lastBuildDate>Sat, 20 Jan 2024 00:00:00 +0000</lastBuildDate>
     <image>
-      <url>https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png</url>
+      <url>https://meelgroup.github.io/author/gunjan-kumar/avatar_hu0045ea931ccb4c427e5b067f4febcc89_562695_270x270_fill_q90_lanczos_center.jpg</url>
       <title>Gunjan Kumar</title>
       <link>https://meelgroup.github.io/author/gunjan-kumar/</link>
     </image>
 
-    <item>
-      <title>Equivalence Testing: The Power of Bounded Adaptivity</title>
-      <link>https://meelgroup.github.io/publication/aistats24/</link>
-      <pubDate>Sat, 20 Jan 2024 00:00:00 +0000</pubDate>
-      <guid>https://meelgroup.github.io/publication/aistats24/</guid>
-      <description></description>
-    </item>
-    
-    <item>
-      <title>Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?</title>
-      <link>https://meelgroup.github.io/publication/icalp23/</link>
-      <pubDate>Tue, 04 Jul 2023 00:00:00 +0000</pubDate>
-      <guid>https://meelgroup.github.io/publication/icalp23/</guid>
-      <description></description>
-    </item>
-    
-    <item>
-      <title>Support Size Estimation: The Power of Conditioning</title>
-      <link>https://meelgroup.github.io/publication/mfcs23/</link>
-      <pubDate>Tue, 04 Jul 2023 00:00:00 +0000</pubDate>
-      <guid>https://meelgroup.github.io/publication/mfcs23/</guid>
-      <description></description>
-    </item>
-    
   </channel>
 </rss>

author/jaroslav-bendik/index.xml

@@ -7,10 +7,34 @@
     <description>Jaroslav Bendík</description>
     <generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><copyright>© 2019--2024</copyright><lastBuildDate>Sat, 01 May 2021 00:00:00 +0000</lastBuildDate>
     <image>
-      <url>https://meelgroup.github.io/author/jaroslav-bendik/avatar_hu63a12e2f657227a582625b10a86f1aec_6375458_270x270_fill_lanczos_center_2.png</url>
+      <url>https://meelgroup.github.io/images/icon_hu1dd832c4da814f17fe02e3737f0ae144_14882_512x512_fill_lanczos_center_2.png</url>
       <title>Jaroslav Bendík</title>
       <link>https://meelgroup.github.io/author/jaroslav-bendik/</link>
     </image>
 
+    <item>
+      <title>Counting Minimal Unsatisfiable Subsets</title>
+      <link>https://meelgroup.github.io/publication/cav21_mus/</link>
+      <pubDate>Sat, 01 May 2021 00:00:00 +0000</pubDate>
+      <guid>https://meelgroup.github.io/publication/cav21_mus/</guid>
+      <description></description>
+    </item>
+    
+    <item>
+      <title>Counting Maximal Satisfiable Subsets</title>
+      <link>https://meelgroup.github.io/publication/aaai21_mss/</link>
+      <pubDate>Mon, 11 Jan 2021 00:00:00 +0000</pubDate>
+      <guid>https://meelgroup.github.io/publication/aaai21_mss/</guid>
+      <description></description>
+    </item>
+    
+    <item>
+      <title>Approximate Counting of Minimal Unsatisfiable Subsets</title>
+      <link>https://meelgroup.github.io/publication/cav20bm/</link>
+      <pubDate>Mon, 18 May 2020 00:00:00 +0000</pubDate>
+      <guid>https://meelgroup.github.io/publication/cav20bm/</guid>
+      <description></description>
+    </item>
+    
   </channel>
 </rss>