- Testing Assignments to Constraint Satisfaction Problems Hubie Chen Matt Valeriote Yuichi Yoshida Fri 02 March 2012
- A Dichotomy Theorem for Nonuniform CSPs Andrei A. Bulatov Fri 02 March 2012
- A Proof of CSP Dichotomy Conjecture Dmitriy Zhuk Fri 02 March 2012
- The Matching Problem in General Graphs Is in Quasi-NC Ola Svensson Jakub Tarnawski Fri 02 March 2012
- A Faster Isomorphism Test for Graphs of Small Degree Martin Grohe Daniel Neuen Pascal Schweitzer Fri 02 March 2012
- Dynamic Matrix Inverse: Improved Algorithms and Matching Conditional Lower Bounds Jan van den Brand Danupon Nanongkai Thatchaphol Saranurak Fri 02 March 2012
- Planar Graphs have Bounded Queue-Number Vida Dujmovic Gwenael Joret Piotr Micek Pat Morin Torsten Ueckerdt David Wood Fri 02 March 2012
- Twin-width I: tractable FO model checking Edouard Bonnet Eun Jung Kim Stephan Thomasse Remi Watrigant Fri 02 March 2012
- Faster Approximate Pattern Matching: A Unified Approach Panagiotis Charalampopoulos Tomasz Kociumaka Philip Wellnitz Fri 02 March 2012
- Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits Nutan Limaye Srikanth Srinivasan Sebastien Tavenas Fri 02 March 2012
- Distributed reactive systems are hard to synthesize A. Pneuli R. Rosner Fri 02 March 2012
- Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm Taolue Chen Jian Lu Fri 02 March 2012
- High-Assurance Distributed, Adaptive Software for Dynamic Systems Kurt Rohloff Joseph Loyall Partha Pal Richard Schantz Fri 02 March 2012
- An Approach for Unifying Rule Based Deep Packet Inspection A. Munoz S. Sezer D. Burns G. Douglas Fri 02 March 2012
- Updating XML schemas and associated documents through exup Federico Cavalieri Giovanna Guerrini Marco Mesiti Fri 02 March 2012
- Verification of hybrid systems: formalization and proof rules in PVS E. Abraham-Mumm U. Hannemann M. Steffen Fri 02 March 2012
- Performance evaluation of the VF graph matching algorithm L.P. Cordella P. Foggia C. Sansone M. Vento Fri 02 March 2012
- HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems Imane Lamrani Ayan Banerjee Sandeep K. S. Gupta Fri 02 March 2012
- Hybrid Concolic Testing Rupak Majumdar Koushik Sen Fri 02 March 2012
- Large-scale formal verification in practice: A process perspective June Andronick Ross Jeffery Gerwin Klein Rafal Kolanski Mark Staples He Zhang Liming Zhu Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
