nextthought.mosoi.ro
Next ThoughtA blog about my CS adventures.
http://nextthought.mosoi.ro/
A blog about my CS adventures.
http://nextthought.mosoi.ro/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Friday
LOAD TIME
0.6 seconds
16x16
32x32
PAGES IN
THIS WEBSITE
16
SSL
EXTERNAL LINKS
9
SITE IP
172.217.3.115
LOAD TIME
0.609 sec
SCORE
6.2
Next Thought | nextthought.mosoi.ro Reviews
https://nextthought.mosoi.ro
A blog about my CS adventures.
nextthought.mosoi.ro
Next Thought: March 2011
http://nextthought.mosoi.ro/2011_03_01_archive.html
A blog about my CS adventures. Thursday, March 10, 2011. Until recently STRUCTure handled binaries separetly using the implications graph. The problem with this scheme is that binaries need special attention which complicates the design and the implementation. I decided to give binaries a less special status and keep them both in the watch lists and implications graph. Needless to say, the code was greatly simplified. Posted by Alexandru Moșoi. Thursday, March 10, 2011. Sunday, March 6, 2011. This mornin...
Next Thought: Improving Branching. Part. II: Polarity
http://nextthought.mosoi.ro/2011/02/improving-branching-part-ii-polarity.html
A blog about my CS adventures. Thursday, February 24, 2011. Improving Branching. Part. II: Polarity. I concluded that variable's polarity searched first affects the solving time of some instances (mostly of satisfiable instances of course). With this in mind I ran four tests with the branching heuristic modified as follows. Branch first on positive polarity. Branch first on polarity with the highest score. Branch first on polarity with the lowest score. Branch first on a random polarity. The current algo...
Next Thought: Blocked Clause Elimination
http://nextthought.mosoi.ro/2011/02/blocked-clause-elimination.html
A blog about my CS adventures. Tuesday, February 22, 2011. I just finished implementing a technique Blocked Clause Elimination. BCE) The idea is that for a literal. R = C ⊗. Is a tautology (where. Is the resolution operator on literal. Can be eliminated. The removed clause. Is said to be blocked on literal. You can check Mate Soos' post. On the same topic. Before reasoning first time. Should speedup first node evaluation. The previous two combined. Was at least as good as. Posted by Alexandru Moșoi.
Next Thought: Gasca (yet another CDCL sat solver)
http://nextthought.mosoi.ro/2012/01/gasca-yet-another-cdcl-sat-solver.html
A blog about my CS adventures. Monday, January 16, 2012. Gasca (yet another CDCL sat solver). I have release today another sat solver. Gasca is a pure CDCL (Conflict-Driven Clause-Learning) SAT solver written in Go. It was written before I joined Google in Oct. 2011 as a very short project to understand some alternatives to the ideas in my master thesis. Some pieces of code are inspired from Minisat. Though Gasca is not a port to Go of neither of them. Go ahead, clone my repository and try it out:. Impro...
Next Thought: SAT Competition 2011
http://nextthought.mosoi.ro/2011/03/sat-competition-2011.html
A blog about my CS adventures. Wednesday, March 2, 2011. I've submitted the solver just now for SAT Competition 2011. The submission can be downloaded from here. And the sources from here. Note the git tag sc11). There is a huge gap between STRUCTure and CryptoMiniSat 2.6.0. As it turns out I had a bug that rendered extraction of XOR gates ineffective on my SAT Competition 2011 submission. No wonder why adjusting the coefficient for XOR gates in branching heuristic didn't influence the results. Improving...
TOTAL PAGES IN THIS WEBSITE
16
Chile - www.alexandru
http://www.alexandru.mosoi.ro/open-source/chile
Chile is a compression program based on Burrows-Wheeler Transform that I wrote sometime ago. At the beginning it was just for fun, but after some research and some "googling" over the Internet I came up with many new ideas. Soon after, my program became comparable to bzip2 and WinAce. The execution time can be improved very much since the algorithm I used to make the transform is not one of the best known. Chile is benchmarked on different websites. Here are some of them:. Chile-0.1a.tar.gz. Chile-0....
Open Source - www.alexandru
http://www.alexandru.mosoi.ro/open-source
I truly believe in Free Open Source Software. I usually publish all my code under an MIT license. I'm a programmer and I think there are many ways to make money without selling code - content (eg. game levels, scenarios), services (ads), custom software. I suggest you check Adrian Ber's presentation. Open source software I've contributed to or written from scratch:. A parallel boolean satisfiability solver. I blog about it on NextThough. A compiler, debugger and interpreter for CoolIR (described.
Sitemap - www.alexandru
http://www.alexandru.mosoi.ro/system/app/pages/sitemap/hierarchy
Recent site activity - www.alexandru
http://www.alexandru.mosoi.ro/system/app/pages/recentChanges
2 Mar 2011, 06:24. Alexandru Moșoi edited Open Source. 2 Mar 2011, 06:22. Alexandru Moșoi edited Sports. 2 Mar 2011, 06:20. Alexandru Moșoi deleted Job. 2 Mar 2011, 06:19. Alexandru Moșoi edited Open Source. 20 Dec 2010, 07:30. Alexandru Moșoi deleted attachment map.kml. 20 Dec 2010, 07:30. Alexandru Moșoi deleted attachment atds.pdf. 20 Dec 2010, 06:31. Alexandru Moșoi attached map.kml. 14 Oct 2010, 04:35. Alexandru Moșoi attached atds.pdf. 3 Sep 2010, 11:40. Alexandru Moșoi edited Job. 3 Sep 2010, 11:37.
Random Stuff - www.alexandru
http://www.alexandru.mosoi.ro/random-stuff
20 Jan 2010, 18:17. My vim configuration file (sometimes I need it). 20 Jan 2010, 18:18.
The Improviser - www.alexandru
http://www.alexandru.mosoi.ro/open-source/the-improviser
For my own amusement I took a short personality test on how you design software. And here are the results. Your Developer-Personality: The Improviser. On the downside, The Improviser may often experience frustration with managers who depend on plans and forecasts, and employees who insist on elaborate planning or explicit adherence to specific development methods.
Coins - www.alexandru
http://www.alexandru.mosoi.ro/home/coins
I maintain a small collection of modern coins as a hobby. Nothing valuable, most of the coins are still in circulation. I enjoy the egg hunting game and unlike many people I am happy to receive a dozen of coins at the supermarket. My oldest coin. Is from Russia. Thanks to Dat, Delia, Evelina, Vihan, my father and my uncle for bringing me coins from all over the world. I use World Coin Gallery. Collection total = 133 coins. Austria km#3083 2 Euro cents (1999 ). Austria km#3084 5 Euro cents (1999 ). France...
Sports - www.alexandru
http://www.alexandru.mosoi.ro/sports
I like doing lots of sports. I used to run a lot more (see below a picture from Romanian International Marathon 2008), but I substituted running with martial arts. I practiced a little bit of karate, judo, ju-jiutsu and krav-maga. Used by the Israeli defense force). Now I'm practicing muay-thai (Thailanda's national sport) with Jerry Morris.
TOTAL LINKS TO THIS WEBSITE
9
NEXT Think Tank - Maverick Workshop For Young Entrepreneurs
The NEXT Think Tank…. Steve Job’s Quote. Who are your peers at The NEXT Think Tank? Your Private Invitation to the. Maverick NEXT Think Tank. November 1 -3, 2013. Join the Next Generation of Leaders, Innovators, and Influencers for a Unique Experiment and Exclusive Business Breakthrough Experience. In just a few weeks, a unique group of successful young entrepreneurs, age 25 and under, will gather in Austin, TX. Perhaps you’ll be one of them. Co-Hosted By Yanik Silver and Dmitriy Kozlov. He is the founde...
The Next Third
January 24, 2014. Have you ever been to northern Michigan? I bring this up because I have a similar feeling (like 1/50. January 24, 2014. My mind is just elsewhere. Visions of houses and school applications and snow and moving vans are dancing through my head. A million things to plan, a thousand tasks to accomplish, a good year of distraction, and another new start in a place we have already trekked through and left behind. A new start in the place that was once before my. October 8, 2013.
My Site
This is my site description. Powered by InstantPage® from GoDaddy.com. Want one?
Being extreme when balancing.
Being extreme when balancing. Do we actually move along the shore by choosing the directions? Between which stones to pass through? Maybe we used to not choose. But do we see the options? If we were to choose do we know how? Where to go to? Maybe you used not seeing before? But can we hear each other now? Only in mathematics, on a white paper, one can see clear cut relationships a=b, a- b. People are much more than formulas, they are a lot of formulas that blend into a F. What do you Want? For the next m...
NextThought
Connected Learning is Better. To connect learners with each other anywhere, anytime. Learning communities that engage and endure. Content through connection and collaboration. Interact wherever you're comfortable. Your students and materials are always with you. Content is designed to encourage critical thinking and discussion. Never lose touch with your classes. Our Web App works on any device. Reinforcing Collaborative and Connected Learning with Social Media. Designing Collaborative Learning with LEML.
Next Thought
A blog about my CS adventures. Monday, January 16, 2012. Gasca (yet another CDCL sat solver). I have release today another sat solver. Gasca is a pure CDCL (Conflict-Driven Clause-Learning) SAT solver written in Go. It was written before I joined Google in Oct. 2011 as a very short project to understand some alternatives to the ideas in my master thesis. Some pieces of code are inspired from Minisat. Though Gasca is not a port to Go of neither of them. Go ahead, clone my repository and try it out:. From ...
Club Penguin Cheats and Glitches®©
Club Penguin Cheats and Glitches©. The best Cheats, Glitches, Pictures, and more! There was an error in this gadget. My Game Walk Through Website. Website with Way Back Machine. Saturday, December 12, 2009. If you're reading this.wow. I have a Wordpress website now! Friday, November 13, 2009. മൈ ബ്ലോഗ് ഈസ് ഫിനല്ലി അലിവ്! Thursday, October 30, 2008. 1 Make sure all Penguins are NOT save on your Computer. Then Login. 2 Open a new tab. Go to http:/ play.clubpenguin.com. DO NOT PUT THIS ON YOUR WEB SITE.
Hover
This user has not enabled any redirections. Hover lets you easily create simple ways to access your digital life.
nextthousandmiles.blogspot.com
Next Thousand Miles
It's been said that a journey of a thousand miles begins with the first step (and, in my family's case, probably an over-packed mini-van with several Scooby Doo DVD's). It has become my life mission to encourage people to take the next step in their relationship with God and with other people, whatever that next step might be. I'm looking forward to the next thousand miles! Tuesday, October 6, 2009. What's our goal as parents? Posted by Todd Stevens. Monday, October 5, 2009. Posted by Todd Stevens. I hav...
NEXTTHOUSE
O conteúdo desta página requer uma versão mais recente do Adobe Flash Player.
Events, Specials & Things To Do in Blacksburg, Christiansburg, Floyd, Giles, Pulaski, Radford - Find Your Fun - NextThreeDays.com
New River Valley, VA - find your fun! If you do not see events displayed below in the three columns,. Add a filter to allow NextThreeDays.com on your Ad Blocking utility. If you have any questions, feel free to contact us at: info@NextThreeDays.com. Sign Up for Email Newsletter. First Time Visitor to NextThreeDays? Hear about us at recently at a local festival? Click here for Help on Finding Fun Events and Specials. That pertain to you. Other Popular Pages on NextThreeDays:. Venue Events and Specials.
